Ist das von den Leuten die hinter DROPS (Dresden Real-Time Operating System Projects) stehen? Viel interessanter als die Live-CD wäre eine Anleitung zum selbstbau eines L4-Linuxkernels, die man auch versteht. Als ich es das letzte mal vor einem halben Jahr versuchte, hab ich irgendwo zischen Fiasco, OSKit 0.6, OSKit 1.0 den Überblick verloren.
Das ganze war also ein Fiasko</brueller>
Hab die CD gerade im Vmplayer laufen und es ist schon recht beindruckend.