Nachdem die Linux Foundation speziell für die Entwicklung des secure embedded L4 Kernel (seL4) die sel4 Foundation gründete und dies bei Pro-Linux thematisiert wurde, war es Grund genug diesen microkernel genauer anzuschauen.
sel4 hat eine extrem kleine TCB (trusted computing base), die zudem Fehlerfreiheit garantiert.
Desweiteren soll eine WCET (Worst Case Execution Time) Analyse vorhanden sein, die darauf schließen lässt, dass seL4 harte Echtzeitfähigkeit besitzt, was ihn mit den anderen Fähigkeiten besonders für zertifizierungspflichtige Branchen prädestiniert.
Der, auf meinen statischen Seiten vorhandene Überblick über Linux Real-Time Systeme wurde mit einem seL4 Abschnitt erweitert.