Hi,

today I succesfully compiled the kernel from https://github.com/hardkernel/linux/tree/odroidc-3.10.y patched with the 3.10.75-rt80 patch from here -> https://www.kernel.org/pub/linux/kernel/projects/rt/3.10/

Needs to be tested but it boots and seems to be running quite o.k. 🙂

You can download the sources for the patched kernel here : linux-src-3.10.75-rt80.zip and compile it as described here: http://odroid.com/dokuwiki/doku.php?id=en:c1_building_kernel.

check with

It should result in

or this one : linux-src-3.10.75-rt80.tar.xz with md5sum 1b0acd9bf3c74e742b615771b64492b2

You have to take another config file: Instead of

you should use