# CONFIG_RV_MON_RTAPP is not set
