Ah, I hadn't realized that (though I should have, I have passed devices through to bhyve as well). I actually think running RHEL binary drivers (where there is

Ah, I hadn't realized that (though I should have, I have passed devices through to bhyve as well). I actually think running RHEL binary drivers (where there is a defined KBI), might be the best route.