Constant rpi_pico_sdk::SRAM1_BASE

pub const SRAM1_BASE: u32 = 553713664;