Date: Wed, 10 May 2006 08:29:11 -0500 From: "R. Tyler Ballance" <tyler@tamu.edu> To: FreeBSD Hackers <freebsd-hackers@freebsd.org> Subject: Xnu, and 'L4BSD' Message-ID: <923FBA2F-24D6-4134-B349-A92666CC6F97@tamu.edu>
next in thread | raw e-mail | index | archive | help
This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --Apple-Mail-6--690656098 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed All this recent microkernel talk has finally hit another mailing list i'm on (l4ka@ira.uka.de) regarding a possible "L4BSD" (https:// lists.ira.uni-karlsruhe.de/pipermail/l4ka/2006-May/001603.html) and this has brought up an interesting question for me. L4Linux exists, but it seems to be more of a means for testing out and developing the L4 microkernel, but would there be any practical reason to sandbox the FreeBSD kernel and force it to run as a user- land service on top of the L4::Pistachio kernel? (for example) Would this be an effective place to start in terms of pulling off an in-between kernel much like Darwin's Xnu kernel? I can forsee plausible long term goals that would make such a project worthwhile, such as eventually moving device drivers out of the kernel (FreeBSD's that is) along with other bits and pieces, and eventually morphing it into some middle-ground best-of-both worlds kernel, but if you remove the eventually move into a Xnu-like setup, is there a definite benefit that can be reaped from such a project? Does such a project contain any merit besides the obvious education aspect of it? (And the incessant need to kill time :)) Cheers, -R. Tyler Ballance p.s. I'm not a kernel hacker, but I do aspire to be one eventually, just so I can stop arguing about the color of the bikeshed :) --Apple-Mail-6--690656098 content-type: application/pgp-signature; x-mac-type=70674453; name=PGP.sig content-description: This is a digitally signed message part content-disposition: inline; filename=PGP.sig content-transfer-encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.3 (Darwin) iD8DBQFEYeqpqO6nEJfroRsRAvLmAKCAhrVg59w9OF8vDCKnCV6ymoL9GQCfbM6I c0AYeXR8tNz6PesAKfWuIJc= =IBS4 -----END PGP SIGNATURE----- --Apple-Mail-6--690656098--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?923FBA2F-24D6-4134-B349-A92666CC6F97>