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