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
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?
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
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?
l4-hackers@os.inf.tu-dresden.de