Constant sel4_config::consts::AARCH64_VSPACE_S2_START_L1

pub const AARCH64_VSPACE_S2_START_L1: bool = false;