2013/9/11 Marco Donnarumma <devel@thesaddj.com>

update:

1_ tried to install 3.10-2-rt-686-pae_3.10.7-1_i386.deb from http://packages.debian.org/jessie/linux-image-3.10-2-rt-686-pae, but it didn't like my initramfs-tools version (apparently too old for the new kernel) and installed without configuration so had to remove. See log:

Marco, you could try with 3.2x if you want a debian stock kernel

http://packages.debian.org/wheezy/linux-image-3.2.0-4-rt-686-pae

About nvidia, I am running nvidia kernel drivers (from debian repos) for an Nvidia Quadro FX 1700 without any issues from ages, nvidia-kernel-dkms is the package on debian.