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