На гитхабе есть PKGBUILD. Тяните его и все остальное
Правьте config для realtime
Канпелейте, если терпения хватит
Никакого особого "подключения прерываний" не требуется
Все есть в ядре. Иначе вся переферия не обслуживалась бы
Если, внезапно, напаяли свой чип, то по спекам пишем драйвер
Иначе-- существующие модуля опускайте в конфиге, а выбирайте свой
девайс. В случае проприетарной фирмвари прямая работа с устройством
будет невозможна
За основу взять текущий /proc/config.gz
Да, вы уже оценили текущие ядра для задач реального времени?