Closed helander closed 2 months ago
I had the same issue and I resolved it on my end (was building for a PiZeroW) by modifying the Dockerfile and replacing any instance of {PATCH} with {LINUX_KERNEL_RT_PATCH}.
Thank you very much. I will test this and report back.
Now tested and it worked 😃
Closing
I confirm this was a bug and it's now fixed in the repo as well.
I have built an image for Pi4 and I can find the built files under /boot, but the system is not booted using the built kernel. uname -a shows that a non-rt kernel is in use. What do I need to do to make the image boot the rt-kernel?