RADPx-OS Kernel (Radical Posix OS)  Crimson 0.1.4
POSIX-inspired kernel API with embedded and desktop VM targets
boot Directory Reference
+ Directory dependency graph for boot:

Files

file  radboot.h [code]
 Helpers for constructing rad_boot_info_t records during platform handoff.