Looking for suggestion of ARM11 board

Hi, for an university project I am looking for an ARM9/10/11 dev kit. I learned so far that a SAMSUNG S3C6410 would be ok, but I can't find a small size dev kit vendor. Does anybody know one?
thanks in advance

You need to be more specific in what you need in a dev kit.

Raspberry Pi is an ARM 11 board. https://www.raspberrypi.org/ Just released, but super cheap and will have a decent developer community based on the sales and the purpose of the unit.

If you can use a ARM Cortex-A8, Beagleboard or Beaglebone.

Hi,
ARM Cortex-A8 is good,but I need more GPIO and more wince support. i found one in http://www.developmentboard.net they have one board called tenbyten6410. I talk with this company already,they could provide me the support what i need. I am consider try this board frist. anyway thank you for your suggestion.