We have initial support available for the ODROID-X platform, which uses the Samsung Exynos4412 ARM Cortex-A9 Quad Core CPU. The device also sports 1GB of RAM, 6 USB ports, HDMI and LVDS displays, and a 50-pin expansion port for standard wire interfaces. Graphics are powered by a MALI 400 GPU, with drivers expected in October 2012 for accelerated graphics.
The ODROID-X is a very low cost, high performance development platform based on an Exynos4412 ARM Cortex-A9 Quad Core CPU. It has 6 USB 2.0 ports, micro HDMI, The board has several accessories available through HARDKERNEL such as 10.1" and 14" LVDS LCDs (with adapters), Wifi and Bluetooth adapters, 1.8v serial adapter (recommended if you're going to be any debugging...actually, it's recommended anyway so you won't have to pay shipping twice when you realize you need it later), and an eMMC storage module. They also have a camera module, but currently it does not work with Linux. NOTE: The AC adapter they sell is NOT a plug that will work in the USA.