debugging kernel with remote gdb

[Gary Jennejohn]

Dmitry Sivachenko writes:
> Well, I built gdb to understand i386-freebsd target (using --target
> option).  The problem is that it seems stock gdb does not
> understand '-k' option (for kernel debugging).
> 

The -k flag is a FreeBSD extension.

---
Gary Jennejohn / garyj at jennejohn.org gj at freebsd.org gj at denx.de