# CONFIG_RPMSG_NS is not set
