NerdyKernel

Testverfahren

Das Projekt enthält einen eigens entwickelten Testbot, der den Kompiliervorgang überwacht und verschiedene Testszenarien durchspielt. Einzelne Komponenten des Kernels werden durch Testcases und Emulierung bestimmter Komponenten im Userspace getestet und verifiziert. Dadurch sollen einfache Möglichkeiten geschaffen werden die einzelnen Kernel-Komponenten zu überprüfen. Es eignet sich nicht zum Test von Treibern. Für Treibertests wird ein Debug-Interface definiert, das es ermöglicht die Treiber auf ihre Korrektheit zu prüfen.

Design

Der Kernel selbst ist modular aufgebaut und verschiedene Teile des Kernels sind voneinander getrennt. Ziel dieses Designs ist eine effektive ASLR (AddressSpace Layout Randomization), die sowohl im Kernel als auch Userspace arbeiten soll. Durch dieses Verfahren sollen Angriffe auf das System erschwert werden.

Derzeit wird geplant, wie man zur Laufzeit Updates von Modulen verwenden kann, ohne das System zu deaktivieren. Dadurch sollen die Down-Times des Systems minimiert werden. Das ist natürlich nur möglich, wenn sich die API und die internen Datenstrukturen nicht ändern.

Fortschritt

Momentan befindet sich der Kernel weitestgehend in der Planungsphase, da die Kernel-Konfiguration und das Test-Framework entwickelt werden. Nachdem das abgeschlossen ist, wir der Kernel in die Entwicklunsphase treten.

Features

* Kernel-Konfigurator
* Automatisiertes Testframework