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

Alpha Architecture

© 2002-2004 University of New South Wales
page maintained by Adam Wiggins (awiggins@cse.unsw.edu.au)

Supported Kernels

The L4Ka::Pistachio kernel offers support for the Alpha architecture. See l4ka.org for more information about L4Ka::Pistachio.
The Alpha port has been tested on the following platforms:
Miata 433Mhz (21164)
DS20 (21264)
UP2000 (21264)
M5 Simulator (21164)

A contribution to the L4 community from the UNSW/NICTA team.