Hi Chris,

On Tue, 20 Feb 2001, Chris Cowdery wrote:
> > On Mon, 19 Feb 2001, Chris Cowdery wrote:
> > > Can you point me to a suitable Kernel file for use with this
> > > bootloader please.
> >
> > Sure will upload my NetBSD-current kernel in the /pub/arch/arm32 directory
> > OK?

Its there !! under
ftp:///pub/NetBSD/arch/arm32/snapshot/current-new-bootloader-RPC-snapshot-kernel-20010220
(yeah lousy name :) )... Its the kernel i use for myself ... its based on
a RiscPC kernel ...

Cya,
Reinoud