For reference, here's how we solved this now for Manjarolinux (Thank's a 
lot, Sebastian, for your advice!)

For 4.6.x_rt series we have added a specific define:

KBUILD_CPPFLAGS := -D__KERNEL__ -DRT_PATCHED

and extended Oracle's pending linux48 patch
(https://www.virtualbox.org/changeset/63341/vbox)
by testing:

# if LINUX_VERSION_CODE >= KERNEL_VERSION(4, 8, 0) || defined(RT_PATCHED)

Against virtualbox-extramodules patched like that we are now able to 
compile regular linux46 and 47 aswell as rt-patched 46.


On 26/07/16 15:53, Bernhard Landauer wrote:

Ok. Thank you for the information.

regards
Bernhard


On 26/07/16 15:44, Sebastian Andrzej Siewior wrote:

quoted

* Bernhard Landauer | 2016-07-23 02:02:52 [+0200]:

quoted

$ 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.

quoted

Regards
Bernhard Landauer

Sebastian
-- 
To unsubscribe from this list: send the line "unsubscribe 
linux-rt-users" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html

-- 
To unsubscribe from this list: send the line "unsubscribe 
linux-rt-users" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html