With development boards such as the Intel IQ80310, containing the
80200/80312 chipset (I know! It costs serious money!), is anybody working
on, or interested in working on a port of NetBSD for the XScale processors?
If so, or if not, what are the reservations or issues that should be taken
into account?

There is a good chance that I will need to get an Operating System running
on the XScale, so I would like to make contact with people who have thought
about this, or are interested in a port.

Please reply to myself, as well as the list.

Cheers
 Bruce