Constant sel4_common::sel4_config::physBase

source · 
pub const physBase: usize = 0x80000000;