> since Linux' support for some hardware is better than FreeBSD's, > it would be nice to have an *optional* way of running a FreeBSD > system (userland, including all third party programs) on top > of the Linux kernel. I'd prefer to have a way to use a Linux device driver with a BSD kernel.