Real-time linux kernel

[schooner]

Hi @all,

since we have a more or less working 4.9 mainline kernel, I was able to apply the latest PREEMPT_RT patches against 4.9.6.
You will find the kernel sources here and a ready to extract kernel image here. If you want to modify some of the kernel configuration parameters, I can give you some advice how to do this and how to build a kernel on your own Pine64.

Cheers
Uli

Hi

I think I need some guidance as to where the files need to go and in what name.

I have been trying to substitute for files already in /boot
Image replaces /boot/pine64/Image  (that should be OK)
sun50i-a64-pine64-plus.dtb replaces /boot/pine64/sun50i-a64-pine64-plus.dtb  (why is it so small compared to the original? 9K v 69K)
Initrd is renamed /boot/initrd.img  (Should this now be called Initrd ?  Should it be in the same dir as the Image?)

Either using your files or building my own, boot fails and nothing written in kern.log etc.

Close but so far away at present

Looking at stuff on another forum, looks like everything has changed and the kernel.d dir goes into /boot as it is
That didn't work either.


regards