Which microkernel is used if not pistachio?

[Christian Hütter]

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.

Cheers,
Christian Huetter

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

signature.asc
Description: OpenPGP digital signature