I was wondering, has anyone done any work on supporting debugging UEFI code under Bhyve? If not, I can take a look at adapting DebugPkg (https://code.bluestop.org/w/tianocore/debugging-with-gdb/). -- Rebecca Cran