[Trimmed followups]

Thomas Coffy wrote:
>On Tue, Aug 21, 2001 at 11:13:20AM +0100, Robert Swindells wrote:
>> The iPAQ bootloader supports NetBSD now.

>Wrong.

I wrote the NetBSD support, so I ought to know if it works or not.

>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