Al simplificar los conceptos de los micronúcleos más aún, él desarrolló el primer núcleo L4 que estaba diseñado pensando principalmente en un alto rendimiento.