Attribute Macro sel4_cfg_struct

#[sel4_cfg_struct]

Allows a struct’s fields to use the sel4_cfg attribute.

Example

#[sel4_cfg_struct]
struct Foo {
    #[sel4_cfg(KERNEL_MCS)]
    bar: bool,
}