External Documentation

This page lists the external documentation that is used for the development of the kernel.

Hardware technical references

• Intel® 64 and IA-32 Architectures Software Developer Manuals
• UEFI specification documents
• PCI Local Bus Specification

Software interfaces references

• Multiboot2 Specification
• POSIX Technical Standard Base Specifications

ELF

• Tool Interface Standard (TIS) Executable and Linking Format (ELF) Specification
• ELF-64 Object File Format

System V

• System V Application Binary Interface - Intel386 Architecture Processor Supplement
• System V Application Binary Interface AMD64 Architecture Processor Supplement

Miscellaneous

• OSDev