|
|
|
|
| |
L4Ka::Hazelnut Downloads
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.
|
| |
|
|
