Exynos is a brand name of the family, not a single product. The Arndale has the Exynos 5250 SoC (dual-core A15) not the Exynos 4412 (quad core A9) which is used on the board mentioned in this thread.

Ah yes. 4412 does not appear to have sata or ethernet according to this http://www.hardkernel.com/renewal_2011/products/prdt_info.ph...

You need to include the numbers when you're talking about these parts :-) Arndale is Exynos5, which has a different CPU and peripheral set to Exynos4 (which is what this board uses).