Constant sel4_config::consts::KERNEL_OPTIMISATION_CLONE_FUNCTIONS

pub const KERNEL_OPTIMISATION_CLONE_FUNCTIONS: bool = true;