However, the Mach kernel first developed ten years earlier at Carnegie Mellon University is seen as a flawed first implementation, with the lessons learned being implemented in microkernels like L4, known as second-generation microkernels.
しかしながら、私がカーネギーメロン大学で10年前に最初に開発したMachカーネルは最初の実装の失敗とみなされているが、その経験から学んだことをL4のようなマイクロカーネルに盛り込んだわけで、これが第二世代マイクロカーネルだ。