Hello,
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:
[snip]
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... ;)
I've seen those. I was looking for a bit more Linux compatibility for the time being, so I don't have to give up my current environment alltogether. Maybe I have missed something, but to me it looks like only L4Linux and Sawmill provide such an environment.
Groetjes, Peter Busser