|
|
|
|
| |
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.
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.
GRUB -
x86 bootloader
AngelBoot -
ARM bootloader (Linux/x86)
objdump.l4 - objdump
supporting L4Ka kdebug interface for x86
VMWareGateway -
serial line gateway for NT
|
| |
|
|
