By simplifying the microkernel concepts even further he developed the first L4 kernel which was primarily designed with high performance in mind.
Przez uproszczenie koncepcji mikrojądra wciąż rozwijał pierwszy L4, który był początkowo zaprojektowany pod kątem wysokiej wydajności.