I am currently running Armbian on rk3318 TV box. Runs great. rk3318-box> uname -a Linux rk3318-box 6.12.19-current-rockchip64 #2 SMP PREEMPT Thu Mar 13 12:02:20 UTC 2025 aarch64 GNU/Linux My question: what is the quickest path to get FULL PREEMPT-RT kernel running on my box? I believe I have found the Armbian sources. (https://docs.armbian.com/Developer-Guide_Build-Preparation/) Are there instructions to build a kernel w/ all the same parameters as a currently running kernel with only change to set FULL PREEMPT-RT ? I would like to make least changes to configuration so that I may continue to boot on my hardware. I used to make many RT kernels in the past, but not in the last 10 years. I can't find current instructions. It was my understanding that with 6.12+ linux kernel one needs NO RT patches, but still have to config FULL PREEMPT-RT and build a new kernel. Or can I change some grub option and simply reboot my current kernel? Gautam
