sel4_config::consts

Constant KERNEL_OPTIMISATION_CLONE_FUNCTIONS

Source 
pub const KERNEL_OPTIMISATION_CLONE_FUNCTIONS: bool = true;