Expand description
OSTD-like (OS Trusted Domain) abstraction layer for Strat9-OS
This module provides a minimal, auditable unsafe code base that abstracts hardware operations behind safe interfaces. Inspired by Asterinas OSTD.
§Design concept
- Minimal TCB: only essential unsafe code lives here
- Safe Abstractions: all public APIs are safe wrappers
- Hardware Traits: platform-independent interfaces
- Confined Unsafe: all
unsafeblocks are justified with SAFETY comments