Re: Darwin on L4
Re: Darwin on L4
- Subject: Re: Darwin on L4
- From: Tom Birch <email@hidden>
- Date: Sun, 2 Apr 2006 12:04:48 +1000
L4 is a 2nd generation Microkernel, whereas Mach is one of the first
attempts. It has better IPC performance (although this is synchronous
and thread-id based, with Mach IPC being asynchronous and capability
based) , a much smaller code base, and less policy enforced in the
kernel. For performance figures, this is a good read: http://
os.inf.tu-dresden.de/~jork/papers/sosp97.pdf otherwise you can read
all about L4 here: http://ertos.nicta.com.au/research/l4/
Tom
On 01/04/2006, at 00:26:54, André-John Mas wrote:
Out of curosity, what advantages does the L4 Microkernel provide
over the current one?
Andre
On 31-Mar-06, at 02:03 , Tom Birch wrote:
We've been working on porting Darwin (currently working with the
8.2 source base) to the L4 Microkernel for a while, and now we've
just made a release. The complete source is available, as well as
a QEMU boot image, and instructions for booting on real hardware.
See http://www.ertos.nicta.com.au/software/darbat/ for more details.
Any feedback or questions are welcome.
Tom
_______________________________________________
Do not post admin requests to the list. They will be ignored.
Darwin-dev mailing list (email@hidden)
Help/Unsubscribe/Update your Subscription:
40sympatico.ca
This email sent to email@hidden
_______________________________________________
Do not post admin requests to the list. They will be ignored.
Darwin-dev mailing list (email@hidden)
Help/Unsubscribe/Update your Subscription:
This email sent to email@hidden