Attribute Macro sel4::sel4_cfg_attr

#[sel4_cfg_attr]

Make the associated attribute expression conditional on a seL4 kernel configuration expression.

Supports the same syntax as #[cfg_attr], except primitive expressions are based on seL4 kernel configuration rather than rustc configuration.

See sel4_cfg.