# CONFIG_RPMSG_TTY is not set
