Después de publicar la nueva API de L4 (versión X.2, también conocida como Versión 4) a principios de 2001, el Grupo de Arquitectura de Sistemas en la Universidad de Karlsruhe implementó desde cero un nuevo núcleo, L4Ka::Pistachio, enfocándose en alto rendimiento como también en portabilidad.