Editing L4 microkernel family (section)

=== L4Ka::Hazelnut ===
In 1999, Liedtke took over the Systems Architecture Group at the [[University of Karlsruhe]], where he continued the research into microkernel systems. As a proof of concept that a high performance microkernel could also be constructed in a higher level language, the group developed ''L4Ka::Hazelnut'', a [[C++]] version of the kernel that ran on [[IA-32]]- and [[ARM architecture|ARM]]-based machines. The effort was a success, performance was still acceptable, and with its release, the pure assembly language versions of the kernels were effectively discontinued.