I've compiled the latest stable Linux kernel for my ODROID-C1 board, and I'm providing them on a my gitlab account, I try to follow updates from http//kernel.org (as of today 5.0.13 but I plan to update to 5.1 soon).
This kernel is booting on my board, I didn't try all functionality (such as HDMI, IR, eMMC, ...) but network and USB are working (for the network there are issues with gigabit but it works fine at 100M).
On the repository you can find:
- the .config file used
- a boot.ini working with the kernel (some lines need to be updated)
- a uImage
I hope that it will help some people here to use the board with a bit more recent kernel with the recent security patches
Fell free to use it!
- It's working on my ODROID-C1 board, doesn't mean it will work on yours, if some modules are missing (for your printer, camera, wifi dongle or whatever), please open an issue on gitlab, will try to add them.
- I'm not a kernel developer, so please do not report to me issues with this kernel (I won't be able to solve them).
- If you don't trust the binary files provided up there, you can build it from scratch using sources from http://kernel.org and the config file from this git.