Hi,
On Tue Jul 29, 2003 at 11:17:39 +0200, Peter Busser wrote:
I'm new to L4 and would like to learn more about microkernels by playing around a bit with the various versions. But it looks like that, except for the L4 kernels, there is not much to play with. Or is there?
Well, there are several websites to look at:
http://os.inf.tu-dresden.de/l4env/ http://os.inf.tu-dresden.de/drops/ http://os.inf.tu-dresden.de/L4/ http://os.inf.tu-dresden.de/fiasco/
http://www.cse.unsw.edu.au/~disy/L4/
I don't know what you're looking for but these sites should give you a start. You can definitely find L4 user-level programs there... ;)
Adam