I have found the "project evil" interface for using a wintel device driver with a FreeBSD kernel. But search as I may, I cannot find any information on how to bolt a Linux device driver to a FreeBSD kernel?