Expand description
Strat9-OS Kernel (Bedrock)
A minimal microkernel handling:
- Scheduling
- IPC (Inter-Process Communication)
- Memory primitives
- Interrupt routing
Everything else runs as userspace component servers.
Re-exports§
pub use boot::limine::kmain;
Modules§
- acpi
- ACPI (Advanced Configuration and Power Interface) support. Inspired by Theseus OS, MaestroOS, Aero, and Redox.
- arch
- audit
- Kernel audit log for security-sensitive operations.
- boot
- Boot subsystem
- capability
- Capability-based Security System
- components
- Kernel component declarations — Strat9-OS boot orchestration.
- hardware
- Hardware integration layer.
- ipc
- Inter-Process Communication (IPC) subsystem.
- memory
- namespace
- Minimal namespace binding (temporary global table).
- ostd
- OSTD-like (OS Trusted Domain) abstraction layer for Strat9-OS
- process
- Process and Task Management
- shell
- Chevron shell - Minimal interactive kernel shell
- silo
- Silo manager (kernel-side, minimal mechanisms only)
- sync
- syscall
- Strat9-OS Syscall Interface
- trace
- Lightweight kernel trace buffers for low-level debugging.
- vfs
- Virtual File System (VFS) - Plan 9-inspired namespace.
Macros§
- early_
print - Early print macro without newline
- early_
println - Early print macro for bootstrap debugging (before full logger is ready)
- serial_
force_ println - Print to serial port with newline, bypassing the shared mutex.
- serial_
print - Print to serial port
- serial_
println - Print to serial port with newline
- shell_
print - Print to both serial and VGA.
- shell_
println - Print to both serial and VGA with newline.
- trace_
mem - vga_
print - Print to framebuffer console (falls back to serial when unavailable).
- vga_
println - Print line to framebuffer console (falls back to serial when unavailable).
Functions§
- init_
components - Initialize kernel components using the component system
- init_
logger - Initialize the logger (uses serial)
- init_
serial - Initialize serial output
- kernel_
main ⚠ - Main kernel initialization - called by bootloader entry points