L4HQ - IA-64 Architecture

L4hq.org
Home of the L4 community ( Home ) ( About L4hq )

IA-64 Architecture

Supported Kernels

The L4Ka::Pistachio kernel offers support for the IA-64 architecture (Itanium, Itanium 2, and the HP Ski simulator). See L4Ka.org for more information about L4Ka::Pistachio.

IA-64 Hardware References

Intel® IA-64 Architecture Software Developer's Manual, Rev. 1.1 (Vol. 1, Vol. 2, Vol. 3).
Processor Hardware Developer's Manual (Itanium, Itanium 2).
Intel Itanium Processor Reference Manual for Software Development.
Intel Itanium Processor Reference Manual for Software Optimization.
Intel Itanium 2 Processor Reference Manual for Software Development and Optimization.
Intel Itanium Processor Family Interrupt Architecture Guide.
Intel Itanium Processor Floating-Point Software Assistance handler (FPSWA).
HP zx1 ioa External Reference Specification.
HP zx1 Memory and I/O External Reference Specification.

IA-64 Programming References

Extensible Firmware Interface (EFI)

EFI Specification version 1.10 (download requires accepting a Feedback Agreement).
GNU EFI 3.0a, an environment for developing EFI applications.

IA-64 Related Websites

Intel Itanium Processor Family Home.
FreeBSD/ia64 Project.
IA-64 Linux Project.
Gelato. Portal dedicated to IA-64 Linux information/software.