Subject: Re: Supported ARM7 CPUs
To: John Fremlin , Ben Harris <bjh21@netbsd.org>
From: Chris Gilbert <chris@paradox.demon.co.uk>
List: port-arm32
Date: 06/03/2001 01:01:11 
On Saturday 02 June 2001 11:59 pm, John Fremlin wrote:

With the patch for ARM7TDMI

Unless anyone objects I'll check it in tommorrow (dont' really want to go 
doing code checkins at 1am ;) it only effects ARM7TDMI stuff (and a few panic 
messages) so shouldn't break anything else.

Cheers,
Chris