You’ve probably heard about the ODROID-X development board announced in July by Hardkernel. They now have an updated version called ODroid-X2 with Samsung Exynos 4412 clocked at 1.7 GHz (vs 1.4 GHz) and 2 GB RAM (vs 1 GB RAM for the first version). They also boosted the Mali 400 clock speed from 400 MHz to 533 MHz.
Apart from being a good mobile development platform, the 2 GB RAM could make the board a pretty good native ARM build machine under Ubuntu, as I’ve read 1 GB RAM is not always enough at link stage (e.g. for Debian packages, sorry I can’t find the link), unless you use swap which tremendously slows things down.
The rest of the board seems identical and it just looks the same as the first version. Charbax shot a video of Hardkernel ODroid-X2 development board at ARM Techcon 2012:
ODroid-X2 will cost $149 (ODroid-X costs $129) and be available at the end of November.