Constant sel4_common::sel4_config::PADDR_BASE

source · 
pub const PADDR_BASE: usize = 0x0;