Crate sel4_config

Modules§

sel4_cfg_bool: Like core::cfg!, except using the seL4 kernel configuration.
sel4_cfg_if: Like cfg_if::cfg_if!, except with sel4_cfg instead of #[cfg].
sel4_cfg_str: Like core::cfg!, except using the seL4 kernel configuration.
sel4_cfg_usize: Like core::cfg!, except using the seL4 kernel configuration.
sel4_cfg_word: Like core::cfg!, except using the seL4 kernel configuration.
sel4_cfg_wrap_match: Like sel4_cfg_match, except it works on stable, at the expense of not being an attribute macro.

sel4_cfg: Make the attached code conditional on a seL4 kernel configuration expression.
sel4_cfg_attr: Make the associated attribute expression conditional on a seL4 kernel configuration expression.
sel4_cfg_enum: Allows an enum’s variants to use the sel4_cfg attribute.
sel4_cfg_match: Allows a match expression’s variants to use the sel4_cfg attribute.
sel4_cfg_struct: Allows a struct’s fields to use the sel4_cfg attribute.