Downloads

L4Ka::Pistachio Downloads

The latest released version of L4Ka::Pistachio is 0.4. Post-release fixes are published through Mercurial only. The L4Ka::Pistachio kernel, user-level applications, and development framework are available in the following formats.

Access to Github Repository

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

Name	Description	Contact	Last Modified	Download
l4ka-pistachio	L4Ka::Pistachio	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::Pistachio sources:

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

Future updates from within the l4ka-pistachio 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::Pistachio. Check the result of the last run.

Source Code Distribution

Warning! The pre-packaged source distributions are outdated.

Development Versions	Currently avaiable via Mercurial. See below. [current]
Version 0.4	pistachio-0.4.tar.bz2 [June 4, 2004]
Version 0.3	pistachio-0.3.tar.bz2 [October 2, 2003]
Version 0.2	pistachio-0.2.tar.bz2 [June 23, 2003]
Version 0.1	pistachio-0.1.tar.bz2 [May 2, 2003]

Binary Distributions

Warning! The binary distributions are outdated.

Intel IA32	pistachio-ia32-0.4.tar.bz2 [June 4, 2004]. Pentium and Pentium III pistachio-ia32-0.3.tar.bz2 [October 2, 2003]. Pentium and Pentium III pistachio-ia32-0.2.tar.bz2 [June 23, 2003]. Pentium and Pentium III pistachio-ia32-0.1.tar.bz2 [May 2, 2003]. Pentium and Pentium III pistachio-ia32-0.4-demodisk.bin.bz2 [June 23, 2004]. Demo floppy disk image. Use dd or rawrite2.exe to write it onto a floppy disk. pistachio-ia32-0.3-demodisk.bin.bz2 [October 2, 2003]. Demo floppy disk image.
Intel IA64	pistachio-ia64-0.3.tar.bz2 [October 2, 2003]. Itanium1, Itanium2, and Ski pistachio-ia64-0.2.tar.bz2 [June 23, 2003]. Itanium1, Itanium2, and Ski pistachio-ia64-0.1.tar.bz2 [May 2, 2003]. Itanium1 and Ski
Alpha	pistachio-alpha-miata-demoimg.bin.bz2 [May 2, 2003]. Demo image for Miata
PowerPC	pistachio-powerpc-0.4.tar.bz2 [June 7, 2004]. Pismo PowerBook and psim pistachio-powerpc-0.2.tar.bz2 [June 23, 2003]. Pismo PowerBook and psim pistachio-powerpc-0.1.tar.bz2 [May 2, 2003]. Pismo PowerBook and psim

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.

Tools (binaries)

For a detailed description see the tools section.

GRUB - x86 bootloader

AngelBoot - ARM bootloader (Linux/x86)

objdump.l4 - objdump supporting L4Ka kdebug interface for x86

VMWareGateway - serial line gateway for NT

Tools Section

GCC and Binutils

To compile L4Ka you need gcc 2.95.2 and binutils 2.9.5. In the download section you find pre-compiled binutils and gcc for the different platforms. Our reference development platform is Linux.

Uwe adopted objdump to dump inlined x86 kernel debugger statements nicely. Both, a patch as well as a pre-compiled binary (Linux, glibc2.1) are available.

If you are a FreeBSD zealot and you have question about getting the kernel compiled ask Espen Skoglund (espen ∂does-not-exist.l4ka org). Volkmar Uhlig (volkmar ∂does-not-exist.l4ka org) runs Windows NT/2000 and VMWare with Linux as his development environment.

Boot-Loader

On x86 you should use GRUB as your boot loader.

For Brutus we use Angelboot which is available for download. The DNARD board has a built-in TFTP boot loader.

VMWare serial-line gateway for Windows NT/2000

VMWare supports redirecting a serial port to a named pipe. But, unfortunately you cannot find any terminal program which supports named pipes.
VMWareGateway is a WindowsNT service which redirects a named pipe to a TCP port for easy kernel debugging on Windows NT.