Um einen normalen, nicht-echtzeitfähigen Kernel zu compilieren siehe vorheriges Kapitel.

Der Kernel kann auch manuell gepatched werden. In der Anleitung zum manuellen Patchen eines RT-Linux Kernel ist der Ablauf beschrieben.

1. Zuerst müssen alle Tools für die Cross-Toolchain installiert sein, siehe unter Anleitung für Ubuntu oder Anleitung für Debian. Insbesondere muss GCC und die nCurses Bibliothek vorhanden sein.
2. Kernel-Source-Code herunterladen. Der c32 Branch enthält ein bereits einen echtzeitfähigen Kernel (v4.1.15-rt17+):

   git clone https://github.com/ntb-ch/linux.git -b c32

3. Notwendige Variable definieren

   export ARCH=powerpc CROSS_COMPILE=powerpc-linux-gnu-

4. Kernel Konfiguration für das Board laden

   make c32_defconfig

5. Kernel Konfiguration überprüfen:

    make menuconfig 

6. uImage compilieren:

   make uImage

7. Das uImage wird im Ordner „KERNELDIR/arch/powerpc/boot“ gespeichert
8. Kernel Module compilieren:

   make modules
   make modules_install INSTALL_MOD_PATH=../modules/ 

9. Die Module auf das Target kopieren. Z.B. unter „/lib/modules/4.1.15-rt17+“