Documentation

Books

• ia-64 linux kernel: design and implementation by David Mosberger & Stephane Eranien
• Processor manuals from Intel

Presentations

• IA-64 Linux Kernel Internals presentation from Feb 2000 IDF and Stanford University Seminar (posted 2000-07-03 - PDF format)

System architecture

• ACPI (Advanced Configuration and Power Interface)
• DIG64 (Developers Interface Guide)
• EFI (Extensible Firmware Interface)
• SAL (System Abstraction Layer)

Chipsets

• Intel 460GX Chipset System Software Developer's Manual