Als Kernel verwenden wir einen aktuellen Linux-Kernel. Dieser ist speziell für das ARM9-Board angepasst und beinhaltet bereits die Treiber für die Ansteuerung diverser Schnittstellen, die auf dem CPU-Board zur Verfügung stehen.