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

Reply via email to