Access to Github Repository
Our public read-only Github repository is available via HTTP at https://github.com/l4ka/ as module l4ka-hazelnut.
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
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.
We perform unattended weekly builds of L4Ka::Hazelnut. Check the result of the last run.
|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].|