Echtzeitkernel

[nospe]

Hallo!

Ich würde gerne einen Echtzeitkernel in Debian Stretch 9.3 installieren.
Hintergrund ist, das dieser für eine Maschinensteuerrung genutzt werden soll. Desktopumgebung ist erst mal zweitrangig.
Dieser soll die ganze Lebenszeit von Debian 9. nutzbar sein.
Nun meine Fragen.
1. Ist ein Echtzeitkernel für Stretch 9.3 verfügbar?
2. Kann ich diesen über die Paketverwaltung installieren, oder muss ich was in der sources.list ergänzen?
3. Wird dieser wie bei den normalen Kernelupdates auch updatet?
4. Gibt es eine Anleitung, wie der Standardkernel zu einen Echtzeitkernel gepatcht wird? Im Netz hab ich nur ältere sachen gefunden.


MfG.nospe

[rendegast]

linux-image-rt-amd64, linux-image-rt-686-pae,
den Rest erledigt das Paketsystem.

[nospe]

Danke redegast!

Hat auf anhieb geklappt!

MfG.