On Sunday 03 June 2001 12:54 pm, Ben Harris wrote:
> On Sun, 3 Jun 2001, Chris Gilbert wrote:
> > 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.
>
> I've glanced over it, and it looks OK to me.  The only obvious thing
> missing is to defopt CPU_ARM7TDMI in files.arm.

Ok I'll add that, and check it in later this afternoon.

Cheers,
Chris