Olá Dilberto,
Dê uma olhada na mini2440:
www.friendlyarm.net/products/mini2440
Em baixas quantidades custa USD 100. O hardware é bem maduro e dá pra rodar Linux (inclusive Android) e WinCE.
Existem as PDKs da Freescale que tem documentação muito boa, mas o hardware é de desenvolvimento, portanto precisa ser reprojetado para um produto final:
www.freescale.com/webapp/sps/site/prod_s...y.jsp?code=i.MX31PDK
Procure por "Single Boards Embedded Computers" no gogle que bastante coisa vai pular na tela.
Abraços,