Expand description
Parsing code for the devicetree provided by openhcl_boot used by underhill
usermode. Unlike host_fdt_parser
, this code requires std as it is intended
to be only used in usermode.
Structs§
- Boot times reported by the bootloader.
- A parsed cpu.
- Information about a guest memory range.
- Information about guest mmio.
- Information parsed from the device tree provided by openhcl_boot. These values are trusted, as it’s expected that openhcl_boot has already validated the host provided device tree.
Enums§
- Information about a section of the guest’s address space.
- The isolation type of the partition.
- The memory allocation mode provided by the host. This reports how the bootloader decided to provide memory for the kernel.
- Vtls for mmio.