Hello! I'm having trouble starting VirtualBox under the Linux Real Time Kernel (ubunutstudio).

If I boot into the generic kernel, VirtualBox starts fine. Only when I'm using the RT do i get this error message:
VirtualBox kernel driver not installed. The vboxdrv kernel module was either not loaded or /dev/vboxdrv was not created for some reason. Please install the virtualbox-ose-modules package for your kernel and execute '/etc/init.d/vboxdrv start' as root.
VBox status code: -1908 (VERR_VM_DRIVER_NOT_INSTALLED).


Result Code:
0x80004005
Component:
Console
Interface:
IConsole {1dea5c4b-0753-4193-b909-22330f64ec45}
I notice that VirtualBox installs a package called "virtualbox-ose-modules-2.6.22-14-generic". Does VirtualBox therefore not support the rt kernel? Is there a hack to get it to work?

Thanks!