Alpha Architecture

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.