[split] Real Time Kernels discussion

[agent_kith]

For your development work, you can use the 2712 kernel which comes with Bookworm. I will upload my RT kernel to the wiki for your testing when you are ready.

Can do that now as I need more kernels to test. For some reason 2712 don't boot up in the Pi4 that I have, but the v8 one works fine.

Almost certain the existing Linux (PC) kernel detection code don't work properly for aarch64. because while those files are there, the actual kernel image is gzipped and to find the version I'll need to extract the image and then find the version that match.. Still trying to find a good way to do this, so the more kernels I have at hand, the better.