Useful links

x86_64 topics

Intel® 64 and IA-32 Architectures Developer's Manual

Porting Linux to x86-64

ELF Handling For Thread-Local Storage

System V Application Binary Interface, AMD64 Architecture Processor Supplement

File object formats

Executable and Linkable Format (ELF)

Mach-O Programming Topics

Microsoft Portable Executable and Common Object File Format Specification

PC booting and firmware

UEFI Specification 2.6

Extensible Firmware Interface Specification v1.10

El Torito" Bootable CD-ROM Format Specification

The Linux EFI Boot Stub

Programming for EFI: Creating a "Hello, World" Program

UEFI Programming - First Steps

ISOLinux

ACPI and other PC firmware tables

Advanced Configuration and Power Interface Specification

System Management BIOS (SMBIOS) Reference 6 Specification

ACPI Specification v0.91

ACPI Table Storage Specification v0.91

ACPI - Advanced Configuration and Power Interface​

Unified Extensible Firmware Interface Forum

PC Hardware

PCI Express Base Specification Revision 3

Enhanced Host Controller Interface for USB 2.0: Specification

OSDev.org