Move over Raspberry Pi, a new 35$ champion has arrived
Hardkernel has just released the ODROID-C1, 35$ gets you:
Quadcore Cortex®-A5 CPU @ 1.5GHz
Mali-450 MP2 GPU OpenGL ES2
1 GB DDR3 RAM
40 GPIO pins
eMMC + MicrSD slots
4 USB2 HOST ports + 1 OTG
Ubuntu 14.04 or Android 4.4.x
Other advantages worth mentioning, it has onboard ADC and RTC
Storage perf (this is for microSD, eMMC is roughly twice as fast):
Seems like a very sweet platform for a bunch of things, from a hardware prototyping platform to a mini media or special purpose PC. And with a 28nm CPU it should have significantly better performance per watt.
Do you know if there are more things available for this platform, like specific OS images, extension boards etc?
Well, it is a full ARMv7 chip, so it should be able to run any Linux unlike the Pi which is v6, which makes it require a more exotic build. Their site says they will release u-boot and kernel sources for people who want to use OS other than ubuntu 14.04 and android.
It has some accessories (like wifi, bluetooth dongles), but no official extension boards. However you should not have a problem running most of the extension boards since it does have all the I/O those use. Most of the pins are Pi compatible, with the exception of the 3 analog pins, which the Pi doesn't have.
There is however the Tinkering Kit for it: