I have just found out about the ODROID-U2 which has a quad core ARM Cortex-A9 processor (Samsung Exynos Prime i.e. same as in galaxy S3).
http://www.hardkernel.com/renewal_2011/products/prdt_info.php. They ship with android on it but that is a little restrictive for my purposes.
I am happy with a microcore environment running standard server stuff (e.g. nodejs / apache / nginx / firewall /ssh / sqlite). I could use wired network and just console / ssh so no need for 3D graphics or audio support or even a desktop. I see there is an Arm V7 and Arm V6 port and don't know exactly how that would relate to an A9 processor. Odroid have instructions on building a linux kernel (
http://dev.odroid.com/projects/linux) and have ubuntu running on it as well.
My question is would this be a many months project to get tinycore and some modules working or is it relatively simple? I guess my worry would be that there could be driver issues with the networking hardware or something like that stopping any practical use of the kit until it is fixed and I don't really have much knowledge of things at that level of the OS.
With this kind of hardware and tinycore combined I can run an optimised web application together with database entirely in memory which offers incredible performance and reliability in a micro package so the kit becomes very attractive.
/Simon