Xnu, and 'L4BSD'

Joseph Koshy 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 mailing list