Crate bootloader_fdt_parser

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

BootTimes

Boot times reported by the bootloader.

Cpu

A parsed cpu.

Memory

Information about a guest memory range.

Mmio

Information about guest mmio.

ParsedBootDtInfo

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

AddressRange

Information about a section of the guest’s address space.

IsolationType

The isolation type of the partition.

MemoryAllocationMode

The memory allocation mode provided by the host. This reports how the bootloader decided to provide memory for the kernel.

Vtl

Vtls for mmio.