Home of the L4 community
         Home )   About L4hq )  
 IA-64 Architecture

IA-64 Architecture

© 2003 University of Karlsruhe
page maintained by Espen Skoglund (esk@ira.uka.de)

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

IA-64 Programming References

Extensible Firmware Interface (EFI)

IA-64 Related Websites