Module linux

Linux specific loader definitions and implementation.

Structs

Aarch64ImagePageSize

AcpiConfig

CommandLineConfig

InitrdConfig

InitrdInfo

Information returned about the initrd loaded.

KernelInfo

Information returned about the kernel loaded.

LoadInfo

Information returned about where certain parts were loaded.

RegisterConfig

ZeroPageConfig

Enums

Error

FlatLoaderError

InitrdAddressType

Functions

build_zero_page

Construct a zero page from the following parameters. TODO: support different acpi_base other than 0xe0000

load_config

Load the configuration info and registers for the Linux kernel based on the provided LoadInfo.

load_kernel_and_initrd_arm64

Load only an arm64 the flat Linux kernel Image and optional initrd. This does not setup register state or any other config information.

load_kernel_and_initrd_x64

Load only a Linux kernel and optional initrd to VTL0. This does not setup register state or any other config information.

load_x86

Load a Linux kernel into VTL0.

set_direct_boot_registers_arm64

Load the configuration info and registers for the Linux kernel based on the provided LoadInfo. Parameters: