Date: Thu, 11 May 2006 15:56:15 +0530 From: "Joseph Koshy" <joseph.koshy@gmail.com> To: "R. Tyler Ballance" <tyler@tamu.edu> Cc: FreeBSD Hackers <freebsd-hackers@freebsd.org> Subject: Re: Xnu, and 'L4BSD' Message-ID: <84dead720605110326t27ccc07ega07bbfae05fb2d3c@mail.gmail.com> In-Reply-To: <923FBA2F-24D6-4134-B349-A92666CC6F97@tamu.edu> References: <923FBA2F-24D6-4134-B349-A92666CC6F97@tamu.edu>
next in thread | previous in thread | raw e-mail | index | archive | help
> 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) Well, you could do neat stuff like migrating VMs between machines 'on-the-fly', as described in the following paper: http://www.cl.cam.ac.uk/Research/SRG/netos/papers/2005-migration-nsdi-pre.= pdf Also, L4::Pistachio is BSD-licensed. --=20 FreeBSD Developer, http://people.freebsd.org/~jkoshy
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?84dead720605110326t27ccc07ega07bbfae05fb2d3c>