c'est n micor noyau qui permet de faire tourner Linux, si g bien compris (mais je me trompe peut être. Quelqu'un aurait essayé ? http://www.l4ka.org/projects/l4linux/ http://os.inf.tu-dresden.de/fiasco/use.html http://os.inf.tu-dresden.de/L4/LinuxOnL4/use.shtml
Le L4 ? Ben...quand The Hurd tournera avec, j'essaierai...
personne d'autre ?