$ grep -e "CONFIG_IRQ_FORCED_THREADING=y" -e "CONFIG_PREEMPT=y" /boot/config-`uname -r`

GRUB_CMDLINE_LINUX_DEFAULT="quiet splash threadirqs"

sudo update-grub

reboot


Still gives me only CONFIG_IRQ_FORCED_THREADING=y, running a rt kernel

https://wiki.linuxaudio.org/wiki/system_configuration#the_kernel

\r