sel4_config/
lib.rs

1//
2// Copyright 2023, Colias Group, LLC
3//
4// SPDX-License-Identifier: BSD-2-Clause
5//
6
7#![no_std]
8
9pub use sel4_config_macros::*;
10
11pub mod consts {
12    //! The kernel configuration as `const` items.
13    //!
14    //! While this module can be used as an alternative to the `sel4_cfg_*!` macros for accessing
15    //! the kernel configuration at the value level, its primary purpose is to provide a reference
16    //! within Rustdoc for the active configuration. Towards that end, the generated source of this
17    //! module is also provided in this module's Rustdoc to make browsing easier.
18    #![doc = concat!("```rust\n", include_str!(concat!(env!("OUT_DIR"), "/consts_gen.rs")), "```\n")]
19
20    include!(concat!(env!("OUT_DIR"), "/consts_gen.rs"));
21}