CONFIG_RV_BOOT_HART=1
CONFIG_MP_MAX_NUM_CPUS=1