[Top][All Lists]

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

seL4, L4.sec and coyotos mess

From: Gustavo Romero
Subject: seL4, L4.sec and coyotos mess
Date: Fri, 07 Jul 2006 10:09:36 +0200
User-agent: Thunderbird (X11/20060614)


There seems to be several L4 successors with security in mind. Is there a comparison between them in any place? Coyotos web said there is some similarities with l4.sec. Again... is there any place with a comparison? Can somebody help see the light? :)

This may be not the right list to make these questions but... I think some of you had done this comparison between kernels to be able to choose one of them as a basis for the hurd.

Gustavo Romero

Gustavo Romero López
Arquitectura y Tecnología de Computadores
ETSI. Informática. Universidad de Granada
C\Periodista Daniel Saucedo Aranda. 18071
Tel: (+34) 958240589 Fax: (+34) 958248993

reply via email to

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