Macro sel4_config::sel4_cfg_bool

sel4_cfg_bool!() { /* proc-macro */ }

Like core::cfg!(), except using the seL4 kernel configuration.

Unlike core::cfg!(), this macro requires the configuration key to correspond to a boolean value.

See sel4_cfg for documentation on the configuration expression syntax.

Example

if sel4_cfg_bool!(KERNEL_MCS) {
    ...
}