Skip to main content

Module boot

Module boot 

Source
Expand description

Boot pipeline abstractions.

The goal of this module is to make the boot process of your operating system:

  • explicitly modelled in types,
  • easy to test on a regular host, and
  • easy to port across architectures.

A boot sequence is expressed as an ordered list of stages. Each stage operates on a shared BootContext and may return an error to abort the sequence.

Structs§

BootContext
Shared context passed to each boot stage.

Enums§

BootError
Error type returned by boot stages.
BootState
Represents the progress of the boot sequence.

Traits§

BootStage
A single stage in a boot pipeline.

Functions§

run_boot_sequence
Executes all boot stages in order.