Macro 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) {
    ...
}