>>X86BSD+(OP)
Just like KVM, bhyve includes a whole unix kernel in the TCB. Sure it's a better one :) but still.
Tiny hypervisors like NOVA http://hypervisor.org, seL4-based are the ideal solution, but sadly no one seems to be pushing to make them usable and production-ready :(