On Sat, 2013-08-24 at 14:13 +0200, hermann meyer wrote:
if I didn't overlook it in the config
It is in this config for 3.10.9-rt5:
https://aur.archlinux.org/packages/linux-rt/
When I'll build the kernel within the next days I'll enable it. Arch
users who'll build it too, please enable it for testing purpose, it's
disabled by default.