The Raspberry Pi has inspired a flock of competitors. Among them are the A13-OLinuXino, which you can purchase here for 45 euros. It comes with an A13 Cortex A8 processor at 1GHz, 3D Mali400 GPU, 512 MB RAM, and complete set of ports. Video is VGA. It ships Android 4.0 but also runs various Linux distros. You might also check out the $49US Cubieboard here and the UG802 for $89US here. And there's the MK802 micro-PC, a USB-sized device priced at $74US that runs Android 4.0, Ubuntu, Debian, and other distros. The tiny single-board computer has come of age.

I personally heartily welcome this trend of small, hacker-friendly, ...

hacker-friendly? Most if not all of these devices are missing JTAG/Debug connectors. At least in standard pin-out. So if you want to replace the Linux on these boards by an RTOS to leverage the CPU you are quiet lost.