* Bernhard Landauer | 2016-07-23 02:02:52 [+0200]: >$ grep -re "mod_timer_pinned" >src/VBox/Runtime/r0drv/linux/timer-r0drv-linux.c:# define >mod_timer_pinned mod_timer >src/VBox/Runtime/r0drv/linux/timer-r0drv-linux.c: >mod_timer_pinned(&pSubTimer->u.Std.LnxTimer, >pSubTimer->u.Std.ulNextJiffies); >src/VBox/Runtime/r0drv/linux/timer-r0drv-linux.c: >mod_timer_pinned(&pSubTimer->u.Std.LnxTimer, >pSubTimer->u.Std.ulNextJiffies); >src/VBox/Runtime/r0drv/linux/timer-r0drv-linux.c: >mod_timer_pinned(&pSubTimer->u.Std.LnxTimer, >pSubTimer->u.Std.ulNextJiffies); > >So does that mean the rt-kernel will no longer run VirtualBox?? This change will be part of v4.8. If virtualbox wants to work with v4.8+ they need to update their code. Once this happens, it will work with -RT. >Regards >Bernhard Landauer Sebastian -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html