Macro sel4_cfg_if

sel4_cfg_if!() { /* proc-macro */ }

Like cfg_if::cfg_if!, except with sel4_cfg instead of #[cfg].

Example

sel4_cfg_if! {
    if #[sel4_cfg(KERNEL_MCS)] {
        ...
    } else if #[sel4_cfg(MAX_NUM_NODES = "1")] {
        ...
    } else {
        ...
    }
}