sel4_config::consts

Constant KERNEL_X86_DANGEROUS_MSR

Source
pub const KERNEL_X86_DANGEROUS_MSR: bool = false;