https://github.com/intelxed (Apache v2 license) I've looked at this a bit in the past when it wasn't open-source. It might be a bit overblown to replace the decoding portion of bhyve's instruction emulation, but it could certainly be used as a verification tool. later, Peter.