Function fel4_config::configure_cmake_build

pub fn configure_cmake_build<P: AsRef<Path>>(
    cmake_config: &mut CmakeConfig,
    fel4_config: &Fel4Config,
    cargo_manifest_dir: P,
    cargo_target: &str
) -> Result<(), CmakeConfigurationError>

Configure a seL4_kernel CMake build configuration with data derived from the fel4.toml manifest

Assumes cargo_target is a rust build target option Assumes the seL4_kernel is at ${cargo_manifest_dir}/deps/seL4_kernel