11 May
2012
11 May
'12
8:50 a.m.
http://aur.archlinux.org/packages.php?ID=51360 says that they're at
linux-rt 3.2.16_rt27-1, so I'm OT again, if you insist in using 3.3.4,
but perhaps this is the better way to go, using the "default" kernel-rt.
Is 3.3.4 a full preempt kernel?
$ grep PREEMPT /boot/config-$(uname -r)
# CONFIG_PREEMPT_VOLUNTARY is not set
CONFIG_PREEMPT=y
$ grep FORCE /boot/config-$(uname -r)
CONFIG_IRQ_FORCED_THREADING=y