Home | english | Impressum | Sitemap | KIT

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@l4ka.org). Volkmar Uhlig (volkmar@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.