Subject: Re: Using GDB on the kernel
To: Richard Earnshaw <rearnsha@buzzard.freeserve.co.uk>
From: Chris Gilbert <chris@paradox.demon.co.uk>
List: port-arm32
Date: 02/21/2001 15:01:00
On Tuesday 20 February 2001  9:49 pm, Richard Earnshaw wrote:
> 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

No idea on 1.  It might work, I noted an options line in the RISCPC kernel 
file that has something to do with the console

> 2) Fix GDB to allow it to read arm32 kernel dumps

There's a PR about it:
http://www.NetBSD.org/cgi-bin/query-pr-single.pl?number=5667
Mark says that one of the files needs to be updated.  And that there was a 
version of it being tested that worked?

Cheers,
Chris