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 Mercurial Repository
Our public read-only Mercurial repository is available via HTTP at http://hg.l4ka.org/
as module l4ka-pistachio
.
For an introduction into Mercurial, check out the official website.
Cloning the Mercurial repository
The following line will clone (check out) the L4Ka::Pistachio sources:
hg clone http://hg.l4ka.org/l4ka-pistachio
Future updates from within the l4ka-pistachio module can be done via hg pull
.
Snapshot archives
Download snapshot archives of the source code from our Mercurial repository by clicking on the archive links above.
Browsing the Mercurial repository
Browse the Mercurial repository via the HG 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
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.
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). Volkmar Uhlig ( ∂ l4ka orgvolkmar) runs Windows NT/2000 and VMWare with Linux as his development environment. ∂ l4ka org
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.