Bug#256506: ITP: pistachio -- L4 microkernel implementation

[Guillem Jover <guillem@debian.org>]

Package: wnpp
Severity: wishlist

* Package name    : pistachio
  Version         : 0.4
  Upstream Author : L4Ka Team
* URL             : http://www.l4ka.org/
* License         : BSD
  Description     : L4 microkernel implementation

 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.


I've already the following packages:

	pistachio-doc, pistachio-dev, pistachio-kernel,
	pistachio-kernel-headers

-- System Information:
Debian Release: testing/unstable
  APT prefers unstable
  APT policy: (990, 'unstable')
Architecture: i386 (i586)
Kernel: Linux 2.6.6-zulo
Locale: LANG=C, LC_CTYPE=ca_ES

regards,
guillem