On Wed, 9 Oct 2002 11:38:26 +0900, "Alexey Mandrookin" alman@mgateinc.com said:
AM> Hi, AM> does anybody interested in native OS implementation on top of a L4 AM> microkernel?
What's a "native OS implementation on top of a L4" for you? That seems a bit contradictory.
If you mean "L4-based OS written from scratch", have a look at mungi.org (runs on MIPS, Alpha and soon Itanium). There's also BiOS, an embedded OS for biomedical apps under development at UNSW (runs on StrongARM). Web site should be http://www.cse.unsw.edu.au/~bios/ (but isn't up yet).
Gernot -- Gernot Heiser School of Computer Sci. & Engin. Professor of Operating Systems The University of NSW Phone: +61 2 9385 5156 UNSW SYDNEY NSW 2052, Australia Fax: +61 2 9385 5533 http://www.cse.unsw.edu.au/~gernot