Function fel4_config::configure_cmake_build_from_env

pub fn configure_cmake_build_from_env(
    cmake_config: &mut CmakeConfig,
    fel4_config: &Fel4Config
) -> Result<(), CmakeConfigurationError>

Configure a seL4_kernel CMake build configuration with data derived from the fel4.toml manifest and choice environment variables.

Assumes the presence of the CARGO_MANIFEST_DIR and TARGET environment variables from cargo Assumes the seL4_kernel is at ${CARGO_MANIFEST_DIR}/deps/seL4_kernel