L4Ka::Hazelnut was designed to be portable across 32bit platforms. We 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++. For the first steps of a performance analysis refer to the evaluation section.

We see IA32 as our reference platform since we know this platform best and have the original L4/IA32 kernel for comparison (performance and functionality).

The L4Ka::Hazelnut microkernel is currently available for the following processor families:

IA32 (Pentium and higher)

ARM (StrongARM SA110 and SA1100)

For testing purposes L4Ka::Hazelnut/x86 can be used on a VMWare system.

Licensing

L4Ka::Hazelnut is published under the GNU General Public License.
For different licensing schemes please contact licensing@l4ka.org.

Support

With the release of L4Ka::Pistachio we will discontinue further development of L4Ka::Hazelnut (besides bug fixes). We consider the Version 2 and Version X.0 API as deprecated. It is possible to software-emulate the system behaviour of V2 and X.0 on top of Version 4; IDL⁴ makes this transition even easier.


	Mail to webmaster	© 2000-2009 University of Karlsruhe