Please extend Developer's Handbook '10.6 On-Line Kernel Debugging Using Remote GDB' section with a similar note: It is maybe necessary to enable a serial port for remote kernel debugging. The "gdb: no debug ports present" dmesg message means there is no serial ports configured for remote debugging. Edit '/boot/device.hints' and edit/insert: hint.uart.0.flags="0x80" or hint.sio.0.flags="0x80" For details please consult man uart(4) or man sio(4) depending on the serial driver is in use. Thank you!
For bugs matching the following criteria: Status: In Progress Changed: (is less than) 2014-06-01 Reset to default assignee and clear in-progress tags. Mail being skipped
(In reply to Balazs from comment #0) <https://docs.freebsd.org/en/books/developers-handbook/kerneldebug/#kerneldebug-online-gdb> is now section 10.4 …