OS Resources x86_64 uefi-rs: up-to-date ref; handles & protocols, drivers, GUID/tables, etc Phil-OS: UEFI, target, disk image, elf binary, qemu, etc Phil-OS: BIOS, bootloader, paging, allocator, etc RSIC-V stephenmarz - allocation, interrupts, system calls, etc