Поискал с этим вопросом в Google. Нашел пару советов. В самом начале, была написано, что Linux RT уже включен в Ubuntu (у меня ElementaryOS Freya) и достаточно выполнить:
apt-get install linux-rt
Но терминал говорил лишь, что нет такого пакета. linux-rt пробовал менять на различные:
linux-realtime
linux-image-rt
linux-image-realtime
Затем скачал пакет из официального репозитория. Но понятия не умею, что делать с .patch
Оно не устанавливается, как обычное приложение. Искал "как установить патчи для linux", но то, что я пробовал не срабатывало:
patch -p1 < patch-4.4.2-rt7.patch
Хотя всё делал по инструкции...
Помогите отчаянному.
Как мне установить RT?