Hi, does anybody interested in native OS implementation on top of a L4 microkernel? Perhaps I can donate a console driver within October. Alexei
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
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
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
Hi Alexei,
Hi, does anybody interested in native OS implementation on top of a L4 microkernel? you said you wanted to use Hurd - how about implementing a Windows API? or OS/2 or Mac OS?
-- Mit freundlichen Gruessen / with regards Ronald Aigner http://os.inf.tu-dresden.de/~ra3/ Operating Systems Group - TU Dresden
Hi Ronald,
does anybody interested in native OS implementation on top of a L4 microkernel?
you said you wanted to use Hurd - how about implementing a Windows API? Concerning to MS Windows, it is too complicated and it is not fully POSIX compatible. I'd like to use WaitForSingleObject and WaitForMultipleObject. AFAIK, there is no analogue in the POSIX standard.
IMHO, best way to go is extension select() for handle mutexes, semaphores, etc. Registry? I have no idea. GDI API is out of kernel scope.
or OS/2 or Mac OS?
OS/2 is a great system, but Microsoft Windows beat it. Now it almost died. It isn't? I never saw Mac OS. P.S. Everything is a file. ;-) Best regards Alexei
Hi Alexi, oops I forgot the <irony> tags: I was just wondering what a "native OS implementation" is... Alexey Mandrookin wrote:
Hi Ronald,
does anybody interested in native OS implementation on top of a L4 microkernel?
you said you wanted to use Hurd - how about implementing a Windows API?
Concerning to MS Windows, it is too complicated and it is not fully POSIX compatible. I'd like to use WaitForSingleObject and WaitForMultipleObject. AFAIK, there is no analogue in the POSIX standard.
IMHO, best way to go is extension select() for handle mutexes, semaphores, etc.
Registry? I have no idea.
GDI API is out of kernel scope.
or OS/2 or Mac OS?
OS/2 is a great system, but Microsoft Windows beat it. Now it almost died. It isn't?
I never saw Mac OS.
P.S. Everything is a file. ;-)
Best regards Alexei
_______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
-- Mit freundlichen Gruessen / with regards Ronald Aigner http://os.inf.tu-dresden.de/~ra3/ Operating Systems Group - TU Dresden
On Wed, 2002-10-09 at 03:38, Alexey Mandrookin wrote:
does anybody interested in native OS implementation on top of a L4 microkernel?
It would be nice to have a GPL version of a small common API. Maybe the VxWorks API as a library/server combo? -- Martin Young, working for: | Phone: +44(0) 1454 615151 Siroyan Limited, Bristol Design Centre, | Mobile: +44(0) 7855 758771 West Point Court, Great Park Road, | web: www.siroyan.com Bradley Stoke, Bristol BS32 4QG. UK | email: my@siroyan.com ********************************************************************** This email and any files transmitted with it are confidential and intended solely for the use of the individual or entity to whom they are addressed. If you have received this email in error please notify the system manager. This footnote also confirms that this email message has been swept by MIMEsweeper for the presence of computer viruses. www.mimesweeper.com **********************************************************************
participants (5)
-
Alexey Mandrookin -
Christian Stüble -
Gernot Heiser -
Martin Young -
Ronald Aigner