ARM

There are several ARM platforms. The commercial ones are hard to get any support for and are expensive. Below are the available open-source platforms that I am aware of please let us know about others.

http://www.raspberrypi.org/archives/411