11 Sep
2013
11 Sep
'13
3:30 p.m.
2013/9/11 Marco Donnarumma <devel(a)thesaddj.com>
Thanks guys!
@Raffaele: that's great, didn't know there were more recent rt-kernels for
debian. I have a 32bit machine, so I'm going to try this one:
http://packages.debian.org/jessie/linux-image-3.10-2-rt-686-pae
I have an nvidia driver (sigh), I guess it's likely that rt-kernel is not
going to like it. I read I could patch some nvidia stuff into the
rt-kernel, but that's another story. I'll try this first
You can use dkms to compile nvidia kernel stuff, there's
an nvidia-kernel-3.10-2-686-pae package
/r