В общем слил с kernel.org следующее:
linux-3.12.6.tar.gz
patch-3.12.6-rt9.patch.gz
$ pwd # .../linux-3.12.6
$ patch -p1 < patch-3.12.6-rt9.patch
$ make mrproper
$ cp /boot/config-3.11.0-15-lowlatency .config
$ make oldconfig
$ make
# make install
$ make modules
# make modules_install
# update-grub2
Итого: при загрузке из груба сразу вылезает сообщение что-то типа «загрузка виртуального диска», — и далее ничего больше не происходит. Что делаю не так?
P.S. Это нормально, что /lib/modules/3.12.6-rt9/kernel/drivers/ весит под 2гб? Та же /lib/modules/3.11.0-15-lowlatency/ до 200мб укладывается.