Xnu, and 'L4BSD'
joseph.koshy at gmail.com
Thu May 11 10:26:24 UTC 2006
> 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:
Also, L4::Pistachio is BSD-licensed.
FreeBSD Developer, http://people.freebsd.org/~jkoshy
More information about the freebsd-hackers