Constant CONFIG_FREERTOS_TICK_SUPPORT_CORETIMER 

pub const CONFIG_FREERTOS_TICK_SUPPORT_CORETIMER: u32 = 1;