[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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

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,

-- 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


Reply to: