Constant CONFIG_SOC_CPU_CORES_NUM 

pub const CONFIG_SOC_CPU_CORES_NUM: u32 = 1;