$ 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 |