Module console 

Kernel console: boot event types and output formatting.

Provides BootEvent, BootPhase, and LogLevel types for recording and displaying kernel boot output. The interactive REPL loop is stubbed (requires complex stdin handling); only the event types and output formatting are implemented.

Structs

BootEvent

A single boot event recorded during kernel startup.

BootLog

Boot log: a recorded sequence of boot events.

KernelEventLog

Thread-safe ring buffer for kernel runtime events.

Enums

BootPhase

Phase of the boot sequence.

LogLevel

Log level for boot events.

Functions

boot_banner

Format the boot banner header.