debugging FreeBSD BHyve guest

[Hannes Mehnert]

Hello,

I want to debug a FreeBSD BHyve guest kernel, and tried to follow the
instructions on the wiki
(https://wiki.freebsd.org/bhyve/DebuggingWithGdb) -- but already the
"device bvmdebug" is no longer recognized by make buildkernel.

Is there a way (and a howto?) to kgdb a FreeBSD guest?


Thanks,

hannes