|
| From: | Gustavo Romero |
| Subject: | seL4, L4.sec and coyotos mess |
| Date: | Fri, 07 Jul 2006 10:09:36 +0200 |
| User-agent: | Thunderbird 1.5.0.4 (X11/20060614) |
Hi,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.
Cheers, 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
| [Prev in Thread] | Current Thread | [Next in Thread] |