sel4_config::consts

Constant KERNEL_OPTIMISATION_CLONE_FUNCTIONS

Source
pub const KERNEL_OPTIMISATION_CLONE_FUNCTIONS: bool = true;