Hi,
I stumbled upon a version of the C1 kernel with the Linux Realtime patchset here:
https://blog.georgmill.de/2015/09/03/re ... on-github/
I tried to make a PKGBUILD for it here:
https://github.com/timjp87/linux-odroid-c1-rt88
I took the linux-odroid-c1 PKGBUILD as template, changed the source, removed the .config file and replace every occurance of ARCH with rt88.
However I encountered two problems.
First I try to create the config as explained in the blog post, before building with:
make arch=ARM odroidc_rt_defconfig
I removed the line where it copies the stock ARCH kernel .config from the srcdir, but when I ran makepkg on the PKGBUILD it complained that there is no .config. I went into the src dir and ran the command in the existing source dir and used makepkg -e afterwards and it worked.
Secondly the biggest problem is that when I try to boot the kernel it panics half way through the boot process.
https://gist.github.com/timjp87/a3926e5b5643dfea1b4e
The kernel image and dtb seems to be loaded without problme, though. It also identifies itself as:
Linux version 3.10.80-18-rt88 (alarm@alarm2) (gcc version 5.3.0 (GCC) ) #2 SMP PREEMPT RT Tue Jan 12 12:05:31 UTC 2016
Anyone has an idea what could be the problem? Also is there an easy way to install a custom kernel next to the ARCH kernel? From what it looks like uBoot doesn't seem flexible enough. To get back to a working system I put the SD Card into my laptop and extract the uImage and dtb from the linux-odroid-c1 package from Arch Linux ARM and manually replace it with the kernel image that was installed by the rt88 kernel.
EDIT: Looks like a null pointer dereference is the problem when loading the ethernet driver. No idea why, though.