Resources UEFI, BIOS, and bootloader resources BIOS-related specifications Mach-O resources ELF resources My publications and talks