Author
University of Karlsruhe
Project active since
Project active till
Language
C++
Kernel type
Microkernel
Platforms
ARM, IA-32
User interface
Unknown
License
GNU GPL
Website
L4Ka::Hazelnut was designed to be portable across 32bit platforms. Engineers separated general code like IPC, thread management, and scheduling from platform dependent code like pagetable management and exception handling. L4Ka::Hazelnut is (almost) completely written in C++.
