DKMS cannot find linux-rt headers

[ktulu77]

Binary package hint: dkms

I am on Jaunty x64 with latest updates installed.

When I try to install linux-rt, DKMS cannot install linux-rt headers to rebuild nvidia or vbox drivers. If I install them manually, the headers still cannot be found by DKMS.

Here is the trace :

[...]
Updating /boot/grub/menu.lst ... done

Examining /etc/kernel/postinst.d.
run-parts: executing /etc/kernel/postinst.d/dkms
 * Running DKMS auto installation service for kernel 2.6.28-3-rt

 * nvidia (180.37)...
nvidia (180.37): Installing module.
  Kernel headers for 2.6.28-3-rt are not installed. Cannot install this module.
  Try installing linux-headers-2.6.28-3-rt or equivalent.
   ...fail!
 * vboxdrv (2.1.4)...
vboxdrv (2.1.4): Installing module.
  Kernel headers for 2.6.28-3-rt are not installed. Cannot install this module.
  Try installing linux-headers-2.6.28-3-rt or equivalent.
   ...fail!
 * vboxnetflt (2.1.4)...
vboxnetflt (2.1.4): Installing module.
  Kernel headers for 2.6.28-3-rt are not installed. Cannot install this module.
  Try installing linux-headers-2.6.28-3-rt or equivalent.
   ...fail!
run-parts: executing /etc/kernel/postinst.d/nvidia-common

Paramétrage de linux-restricted-modules-2.6.28-3-rt (2.6.28-3.1) ...
update-initramfs: Generating /boot/initrd.img-2.6.28-3-rt

Paramétrage de linux-image-rt (2.6.28.3.1) ...
Paramétrage de linux-restricted-modules-rt (2.6.28.3.1) ...
Paramétrage de linux-rt (2.6.28.3.1) ...
Traitement des actions différées (« triggers ») pour « menu »...

Thank you for your help

[ktulu77 (ktulu-highwaytoacdc)]

This bug is not reproducible any more.