|
Information on L4/Alpha is maintained at sourceforge.
Alpha related documentation
L4/Alpha Manual
Related theses
- L4 on Uni and Multiprocessor Alpha
- Author: Daniel Potts. Original thesis on development of SMP L4/Alpha. This is not strictly how we
implemented L4/Alpha but this gives good understanding about many of the decisions we
made.
- Flexible scheduling mechanisms in L4
- Author: Simon Winwood. Design of an alternate scheduler for L4. This
exists as a branch currently in cvs and will hopefully become the stock
scheduler in L4/Alpha.
- Debugger for the L4 micro-kernel
- Author: John Ferlito. GDB debugger for L4/Alpha.
|
