Answering myself, DKMS does take care of it, and the nvidia driver works with this kernel.
I'll set this kernel as the default in /etc/default/grub, and I'll report back in a few days if I don't bump into any oopses, or earlier if I do. Thanks. -- [luxid] [linux-rt] BUG: scheduling while atomic: sirq-tasklet/1/0x00000001/23, CPU#1 https://bugs.launchpad.net/bugs/534398 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs