Stable Branch Script

safe_sasos_handoff.sh — microkernel_0.1_stable

Automated SASOS Handoff Script

Purpose

Automates the safe handoff of the SASOS environment, verifying all preconditions before transferring control to the microkernel. Ensures proper PKU configuration, framebuffer state, and memory isolation before the kernel takes ownership.

Key Functions

Pre-flight checks: Validates PKU hardware support, framebuffer availability, and memory map integrity.
Environment setup: Configures RUSTC_BOOTSTRAP, linker flags, and cargo target specifications.
Build verification: Ensures the kernel ELF is properly compiled against x86_64-sex.json.
QEMU launch: Invokes QEMU with correct CPU flags (+pku) and machine configuration.

Usage

cd /home/xirtus_arch/Documents/microkernel_0.1_stable
./scripts/safe_sasos_handoff.sh