SourceForge Logo
[ | Overview | L4 Ports | Developers | Installation | Documentation | DiSy ]

x Documentation x
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.
corner corner