Subject: Using GDB on the kernel
To: None <port-arm32@netbsd.org>
From: Richard Earnshaw <rearnsha@buzzard.freeserve.co.uk>
List: port-arm32
Date: 02/20/2001 21:49:41 
It's long irritated me that we are completely unable to debug crash dumps 
on arm32 machines.  If anyone could summarise what needs to be done to

1) Make the RPC use a serial console
2) Fix GDB to allow it to read arm32 kernel dumps

I'll try to have a look at it.

R.