sel4

Macro sel4_cfg_wrap_match

sel4_cfg_wrap_match!() { /* proc-macro */ }
Expand description

Like sel4_cfg_match, except it works on stable, at the expense of not being an attribute macro.

§Example

sel4_cfg_wrap_match! {
    match foo {
        #[sel4_cfg(KERNEL_MCS)]
        1337 => bar,
    }
}