Non Linux ARM9 boards

There aren't many off the shelf boards in between an ARM7 with 64kB of RAM and an ARM9 with 64MB of RAM.

These two look pretty good and are supported by eCosPro:
http://www.gridconnect.com/ssv9200.html
http://www.cogcomp.com/csb_csb637.htm