Could you comment on getting Linux up and running with the ODROID boards? I'm thinking of using one of them for a hardware project and even though I haven't really looked into it yet, it seemed to me that a full blown distro was not ready yet.
Well, I had a bit of a fuss as they are using ARM TrustZone, so the 3.0.15 kernel didn't want to compile with a newer gcc than the one that Hardkernel uses by default (CodeSourcery 2010q1 - which translates to roughly GCC 4.4.1 with their extras.) - through the help of a friend that is patched up (but sadly breaks it building with CodeSourcery (heh) - patch is at https://gists.github.com/4395518 - that will let you build with GCC 4.6.3 (Linaro/Ubuntu defaults) - if you want to build with 4.7.2, you will also need to edit line 234 of drivers/video/samsung/s3cfb.h and remove the inline.
After that, it's just like every other rootfs. I focus on Gentoo, so other distros... I don't know, but they will have an Ubuntu image up soon.
There are no graphics until X though, so you're stuck with ssh or serial console until then.
Kernel sources come from the BSP download on hardkernel's site. Should be a tarball in there named kernel_4412.tar.gz
