Macro sel4_cfg_word

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

Like core::cfg!, except using the seL4 kernel configuration.

This macro requires the configuration key to correspond to a string value. It parses that value into an integer at compile-time, and assigns to it the one of the types u32 or u64, depending on the value of WORD_SIZE configuration key.

See sel4_cfg for documentation on the configuration expression syntax.

Example

assert_eq!(1u64, sel4_cfg_word!(MAX_NUM_NODES));