Hacker News Reader

Comment by steevdave | Hacker News Reader

I've got a Linaro build running on mine. (It arrived on the 24th, so I had a good Christmas!) it's actually stable overclocked to 2GHz and the Mali in it is also stable at 800MHz.

View on HN

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

Reply on news.ycombinator.com