Module boot_info

The “boot info” refers to a data structure passed from Seed to the kernel, telling it about the platform it’s running on, memory it can use, and about other objects Seed has been asked to load into memory.

Seed implementations generally don’t have their own heaps, and so these data structures need to be representable without heap allocation. For this reason, the heapless crate is used to supply stack-backed containers - the resulting data structure is then serialized using ptah, and can then be deserialized in the kernel.

Structs

BootInfo

LoadedImage

Describes an image loaded from the filesystem by the loader, as the kernel does not have the capabilities to do so. Images are expected to have three segments (rodata loaded as read-only, data loaded as read+write, and text loaded as read+execute).

MemoryMapEntry

Segment

VideoModeInfo

Enums

MemoryType

PixelFormat

Constants

BOOT_INFO_MAGIC

MAX_IMAGE_LOADED_SEGMENTS

MAX_IMAGE_NAME_LENGTH

MAX_LOADED_IMAGES

MAX_MEMORY_MAP_ENTRIES

Type Aliases

MemoryMap