Attribute Macro sel4_cfg_attr
#[sel4_cfg_attr]Expand description
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.