On 11/28/14 16:27, Andy Ruhl wrote:
What is netbsd.gdb in your example? I assume it's the kernel? Thanks! Andy
netbsd.gdb is the kernel image with debug information. You can create it
with
build.sh kernel.gdb=
or by adding
makeoptions DEBUG="-g"
to your config file.
Nick