<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">2013/9/11 Marco Donnarumma <span dir="ltr"><<a href="mailto:devel@thesaddj.com" target="_blank">devel@thesaddj.com</a>></span><br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<div dir="ltr"><div><div><div><div><div><div><div>Thanks guys!<br><br></div>@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:<br>


<a href="http://packages.debian.org/jessie/linux-image-3.10-2-rt-686-pae" target="_blank">http://packages.debian.org/jessie/linux-image-3.10-2-rt-686-pae</a><br><br></div>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<br>
</div></div></div></div></div></div></blockquote><div><br></div><div>You can use dkms to compile nvidia kernel stuff, there's an nvidia-kernel-3.10-2-686-pae package</div><div><br></div><div>/r</div></div></div></div>