Crate fel4_config

Structs§

Fel4Config: Fel4 configuration for a particular target, platform, and build profile tuple resolved from a FullFel4Target
FlatTomlProperty: A single toml key-value pair where the value only includes non-nestable structures
FullFel4Manifest: The full content of a fel4 manifest
FullFel4Target: The full content of a target within a fel4 manifest

BuildProfile
CmakeConfigurationError
ConfigError: All the things that could go wrong when reading fel4 configuration data
FlatTomlValue: A subset of toml::Value that only includes non-nestable structures
ManifestDiscoveryError: Things that can go wrong when trying to rely on environment variables to locate the fel4 manifest and its parameterization.
SupportedPlatform
SupportedTarget

configure_cmake_build: Configure a seL4_kernel CMake build configuration with data derived from the fel4.toml manifest
configure_cmake_build_from_env: Configure a seL4_kernel CMake build configuration with data derived from the fel4.toml manifest and choice environment variables.
contains_only_whitelisted_property_names: Check an iterator to see if any of its contents are not found in the whitelist of allowed properties. Returns Ok(()) if everything in the iterator is on the whitelist. If a string is found to be not on the whitelist, it is returned as the data in the Err()
get_exemplar_default_toml: Convenience function for getting a quick-working fel4.toml example
get_fel4_config: Load, parse, and resolve a Fel4Config
get_full_manifest: Retrieve the complete contents of the fel4 toml from a file
infer_manifest_location_from_env: Read environment variables to discover the information necessary to read and resolve a Fel4Config
is_supported_target_platform_pair: Returns true if the target and platform are supported to work together Returns false if the pairing is nonsenical or not supported
parse_full_manifest: Retrieve the complete contents of the fel4 toml from a string
resolve_fel4_config: Resolve and validate a particular Fel4 configuration for the given BuildProfile and the selected_target and selected_platform found in the FullFel4Manifest
toml_to_full_manifest: Parse the complete contents of the fel4 toml