# CONFIG_RPMSG_CTRL is not set
