[Top][All Lists]

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

Which microkernel is used if not pistachio?

From: Christian Hütter
Subject: Which microkernel is used if not pistachio?
Date: Mon, 03 Jul 2006 09:20:59 +0200
User-agent: Mozilla/5.0 (X11; U; Linux i686; de-AT; rv:1.7.12) Gecko/20060607 Debian/1.7.12-1.2

Hi list,

when I wrote about a problem I encountered with pistachio about two
weeks ago, I was told that L4Ka::Pistachio is not (mainly) used among
the developers due to security issues. Since I wanted to play around
with Hurd on L4 a little and (if happy) try to contribute to the project
myself (if I can...), I would really like to use the right kernel.

Christian Huetter

   ,= ,-_-. =.                        ,= ,-_-. =.
  ((_/)o o(\_))  GNU Privacy Guard   ((_/)o o(\_))
   `-'(. .)`-'  http://www.gnupg.org  `-'(. .)`-'
       \_/                                \_/

Attachment: signature.asc
Description: OpenPGP digital signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]