[vbox-dev] Patch to build VBox kernel module under kernel 3.9

[Larry Finger]

One of the headers needed to compile VBox must be explicitly added for kernel 
3.9. The patch is

Index: vboxhost/vboxdrv/r0drv/linux/thread2-r0drv-linux.c
===================================================================
--- vboxhost.orig/vboxdrv/r0drv/linux/thread2-r0drv-linux.c
+++ vboxhost/vboxdrv/r0drv/linux/thread2-r0drv-linux.c
@@ -34,6 +34,7 @@
  #include <iprt/assert.h>
  #include <iprt/thread.h>
  #include <iprt/err.h>
+#include <linux/sched/rt.h>
  #include "internal/thread.h"



The patch is under the MIT license.

Larry