[][src]Constant rpi_pico_sdk_sys::NUM_CORES

pub const NUM_CORES: u32 = 2;