ah ecco... infatti non capivo cosa si intendesse con microkernel. Ma che applicazioni può avere scriversi un mikrokernel? Tanto vale usare linux, no? Magari dico vaccate...