If anyone is interested, I have a HAL and PCMCIA package available for the Compaq iPAQ Pocket PC. It might seem a strange choice of target, but it is cheaper than most development boards! >From http://www.3glab.org/developer/ecos