Xnu, and 'L4BSD'

[Joseph Koshy]

> 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.

-- 
FreeBSD Developer,     http://people.freebsd.org/~jkoshy