On Tue, Aug 21, 2001 at 04:17:26PM +0100, Robert Swindells wrote:
> Thomas Coffy wrote:
> >On Tue, Aug 21, 2001 at 11:13:20AM +0100, Robert Swindells wrote:
> >> The iPAQ bootloader supports NetBSD now.
> 
> I wrote the NetBSD support, so I ought to know if it works or not.

Following http://netbsd.org/Ports/hpcarm/howto-use.html, i tried to boot the
snapshot kernel (ftp://ftp.netbsd.org/pub/NetBSD/arch/hpcarm/snapshot/kernel/netbsd-IPAQ20010708.gz).
And it failed... (can't show output now... i'm at my office...)

I can't find any documentation anywhere, and Jamey Hicks told me he hasn't 
tested the support for NetBSD.

So, sorry...
Maybe, you can show me a hint for booting a valid kernel with bootldr ?


> >The Compaq bootldr (which is used by the guys at handhelds.org) has
> >code in it for NetBSD, but... it does not boot (looks like it has not
> >been tested...).
> 
> The bootldr will boot an a.out kernel compiled with the arm32
> toolchain, which currently runs to the point where it starts the
> scheduler. It stops there since I can't get interrupts to work.
> 
> When arm32 switches to ELF, I'll add support for it.
> 
> Robert Swindells