OT
Pontosítsuk: a Mach kernel teljesen új, önálló fejlesztés, csak épp ennek segítségével kicserélték egy full 4.2BSD kernelét erre a saját újraimplementált kernelre (ezzel elérhetővé vált minden olyan szoftver, ami 4.2 BSD-n már futott. (Ezt a Wikipedia egyértelműen leírja, és a Levenez-féle UNIX-history oldalon is az látszik, hogy van a Mach, majd ennek vonalába csatlakozik egy 4.2-leágazás.
/OT