Home | english | Impressum | Sitemap | KIT

L4Ka::Hazelnut Downloads

Access to Github Repository

Our public read-only Github repository is available via HTTP at https://github.com/l4ka/ as module l4ka-hazelnut. 

 

Name Description Contact Last Modified Download
l4ka-hazelnut L4Ka::Hazelnut info@l4ka.org ... zip

 

For an introduction into Github, check out the official website.

Cloning the Github repository

The following line will clone (check out) the L4Ka::Hazelnut sources:

      git clone https://github.com/l4ka/hazelnut

Future updates from within the l4ka-hazelnut module can be done via git pull.

Snapshot archives

Download snapshot archives of the source code from our Github repository by clicking on the archive links above.

Browsing the Github repository

Browse the Github repository via the GIT Web interface.

Build status

We perform unattended weekly builds of L4Ka::Hazelnut. Check the result of the last run.

 

Binary Distributions

RC2, Intel IA32 hazelnut-x86-bin-RC2.tgz [Dec 13, 2001]. Contains an L4Linux 2.2.20 and multiple precompiled x86 kernels. Furthermore, it contains the benchmark application with which we collected the given numbers in the performance section.
RC2, ARM Brutus hazelnut-arm-brutus-RC2.tgz [Dec 13, 2001]. Contains a simple benchmark program which tests IPC and task-creation/deletion.
RC2, ARM DNARD hazelnut-arm-dnard-RC2.tgz [Dec 13, 2001]. Contains a simple benchmark program which tests IPC and task-creation/deletion.
RC1, Intel IA32 l4ka-x86-bin-RC1.tgz [Nov 13, 2000].
RC1, ARM EP7211 arm-ep7211-RC1-demo.bin [Nov 13, 2000].

Anonymous CVS

Our public CVS tree is hosted at Sourceforge. To access the CVS tree anonymously, follow the instructions given here. Note, that CVS access is read-only.