sel4_config::consts

Constant KERNEL_X86_MICRO_ARCH

Source
pub const KERNEL_X86_MICRO_ARCH: &str = "nehalem";