Attribute Macro sel4_cfg_enum

#[sel4_cfg_enum]

Allows an enum’s variants to use the sel4_cfg attribute.

Example

#[sel4_cfg_enum]
enum Foo {
    #[sel4_cfg(KERNEL_MCS)]
    Bar,
}