Hello, as far as i know (article about hurd in a german Linux magazine) the hurd people plan to port hurd to L4. I don't know who and when, but I would also be interested in an l4-based hurd, because it think the combination of hurd and Perseus could be very interesting... Chris Am Mittwoch, 9. Oktober 2002 08:15 schrieb Alexey Mandrookin:
On Wednesday, October 09, 2002 13:17 "Gernot Heiser"
<gernot@cse.unsw.edu.au> said:
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.
It is too difficult to explain my view. At least, it can be something like HURD, may be HURD itself. (Of course, I subscribed on hurd-l4 maillist).
It should be something like Linux. Not monolith Linux as l4-linux.
It should use real microkernel approach, where each device/protocol driver is a server in terms of microkernel.
Task context switching is a high cost operation, which causes bad microkernels performance. Right?
I believe future processors will be optimized for microkernels. The label "Designed for Microsoft Windows" on microprocessors makes me angry.
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,
Thank you. Mungi is around my imagination of microkernel OS.
Anyway, the driver which I am going to donate to L4 will not depend on host OS - it is just a server. It is not good time to talk about.
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).
At the moment, I'm not interested in embedded solutions, even if my current job is about that.
Best regards, Alexei
_______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
-- Christian Stueble <stueble@cs.uni-sb.de> Saarland University, Dept. for Computer Science Chair of Cryptography and Security Im Stadtwald, D-66123 Saarbruecken, Building 45, Room 534 Tel.: +49(681)302-5635 Fax.: +49(681)302 4631 Get public key from http://www-krypt.cs.uni-sb.de Fingerprint 8678 C5D3 CAD9 CD8C F1DD B8EC 202F 116A