3 ms·

NetBSD can be used as a rump kernel: http://wiki.netbsd.org/rumpkernel/ http://wiki.netbsd.org/rumpkernel/