VirtualBox 4.2.4 freezes PC using RT_PREEMPT kernel

["Koehrer Mathias (ETAS/ESS2)" <mathias.koehrer@xxxxxxxx>]

Hi all,

I have detected the following issue:
I use an x86 PC using kernel 3.2.34-rt51 and I want to run VirtualBox 4.2.4 using this PC as host.
However, the PC freezes completely when loading the vbox driver "vboxdrv".
Using the very same kernel without the RT_PREEMPT patch shows no issues.

Using an older version of VirtualBox (V4.1.22) works fine as well.

I know that this might be slightly off-topic. However there might be some RT_PREEMPT users that have detected the same issue and know a solution for this.

I have attached my kernel .config file.

Thanks for any feedback on this.

Regards

Mathias

Attachment: config.gz
Description: config.gz