Подскажите пожалуйста, как обновить ядро из отдельного репозитория?
Ситуация следующая - под Linux Mint есть компьютер, который контролирует технологические процессы, и некоторые программы на нем живут в реальном времени. Технические детали этого не являются критическими в контексте моего вопроса.
Другое дело - на компьютере установлено ядро с RTAI. И его нельзя случайно обновить, заменив его новой версией обычного ядра. В то же время другие компоненты операционной системы и установленные пакеты могут и должны обновляться в обычном порядке службами, ответственными за это.
Теперь мой вопрос - какие настройки необходимо выполнить, чтобы оба графических обновления менеджер и apt со своими компонентами нормально обновляют систему, но ядро - только из отдельного, специально определенного репозитория и больше нигде?