Nice find, but:
- no Linux (yet) - you're stuck with Android for the time being
- from the Odroid web site:
"
HDMI can support only 720p/1080p resolution with 16:9 wide display. HDMI-DVI converter will not work properly because Exynos4 HDMI is not compatible with VESA standard. So most of old PC monitors can't be used."
(http://www.hardkernel.com/renewal_2011/products/prdt_info.php?g_code=G133999328931&tab_idx=3)
This is clearly aimed at developers of Android devices rather than hobbyists. If Raspberry PI is too underpowered for you and you're ready to pay in that price range, I think you'll be better off with the likes of Beagleboard or Pandaboard because of the community, wide selection of OSs and support.