Linux kernel 6.12 introduced an important feature, sched_ext, which can implement user-space schedulers with the help of eBPF.
I see that the Raspberry Pi OS kernel has already been upgraded to 6.12. Therefore, I want to test it on Raspberry Pi 3B+. However, the pre-built kernel in defconfig doesn't have this configuration enabled.
Can I manually build a kernel with SCHED_EXT? Has anyone tried this, and what potential issues might I encounter?