[−][src]Constant rpi_pico_sdk_sys::PICO_DOUBLE_SUPPORT_ROM_V1

pub const PICO_DOUBLE_SUPPORT_ROM_V1: u32 = 1;