Crate fel4_config[−][src]

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