Como prueba de concepto de que un micronúcleo de alto rendimiento podría también ser construido en un lenguaje de alto nivel, el grupo desarrolló L4Ka::Hazelnut, una versión escrita en C++ del núcleo que corría en máquinas basadas en procesadores IA32 y ARM.