Re: Serial kernel debugging amd64 on real hardware

[Martin Husemann <martin%duskware.de@localhost>]

On Tue, Sep 01, 2020 at 01:48:33AM +0100, Peter Kay wrote:
> I also note the GENERIC amd64 kernel includes a symbol table, and i386
> does not. I presume this is by design for space reasons?

I guess because DTRACE needs it?

You can get full kernel symbols by setting MKKDEBUG=yes in /etc/mk.conf
or by invoking "build.sh kernel.gdb=$MYCONF", both will create a netbsd.gdb
in your kernel compile directory.

Martin