sel4_config::consts

Constant AARCH64_VSPACE_S2_START_L1

Source
pub const AARCH64_VSPACE_S2_START_L1: bool = false;