FTP Search

Directory

Content Search

pistachio-kernel-headers

L4 microkernel implementation - kernel headers

/Main/Debian/all/base/

L4Ka::Pistachio is built from ground up incorporating the research results of the last seven years of microkernel and multi-server research. The code is written in C++ with a strong focus on performance and portability.

This package provides headers from the Pistachio kernel.

Info:

Homepage:	-
Package version:	0.4+20050706-2
Architecture:	all
Distribution:	Debian
Filename:	pistachio-kernel-headers_0.4+20050706-2_all.deb

Browse inside pistachio-kernel-headers_0.4+20050706-2_all.deb:

pkg://pistachio-kernel-headers_0.4+20050706-2_all.deb:55700/  info  downloads

[DIR]usr/  65535+ twin directories
260 B  2005-07-31md5sums  view  243+ mirrors
624 B  2005-07-31control  view  608+ mirrors

Download pistachio-kernel-headers_0.4+20050706-2_all.deb:

2004-11-29  ftp://ftp.uni-duesseldorf.de/pub/unix/linux/distributions/debian/pool/main/p/pistachio/pistachio-kernel-headers_0.4+20050706-2_all.deb
2005-09-29  ftp://ftp.gnome.org/mirror/debian-misc/debian-armeb/pool/main/p/pistachio/pistachio-kernel-headers_0.4+20050706-2_all.deb
2005-09-29  ftp://ftp.tu-chemnitz.de/.SAN0/pub/linux/debian/debian-armeb/pool/main/p/pistachio/pistachio-kernel-headers_0.4+20050706-2_all.deb
2005-09-29  ftp://ftp.debian.de/debian-armeb/pool/main/p/pistachio/pistachio-kernel-headers_0.4+20050706-2_all.deb
2005-09-29  ftp://ftp.inf.tu-dresden.de/os/linux/dists/debian/debian-armeb/pool/main/p/pistachio/pistachio-kernel-headers_0.4+20050706-2_all.deb
2005-07-31  ftp://ftp.cpan.nl/pub/debian/pool/main/p/pistachio/pistachio-kernel-headers_0.4+20050706-2_all.deb
2005-09-29  ftp://130.239.18.173/mirror/debian-misc/debian-armeb/pool/main/p/pistachio/pistachio-kernel-headers_0.4+20050706-2_all.deb
2005-09-29  ftp://130.239.18.137/mirror/debian-misc/debian-armeb/pool/main/p/pistachio/pistachio-kernel-headers_0.4+20050706-2_all.deb
2005-09-29  ftp://130.239.18.163/mirror/debian-misc/debian-armeb/pool/main/p/pistachio/pistachio-kernel-headers_0.4+20050706-2_all.deb