[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: The idea of an own L4
From: |
Ludovic Courtès |
Subject: |
Re: The idea of an own L4 |
Date: |
Thu, 20 Oct 2005 13:24:29 +0200 |
User-agent: |
Gnus/5.110004 (No Gnus v0.4) Emacs/21.4 (gnu/linux) |
Hello,
Bernhard Kauer <address@hidden> writes:
> could be helpfull to understand L4.sec. Furthermore, a preliminary L4.sec
> reference manual is available at
>
> http://inf.tu-dresden.de/L4/L4.sec/
404 Not Found. :-)
Thanks,
Ludovic.
- The idea of an own L4, ness, 2005/10/09
- Re: The idea of an own L4, Jonathan S. Shapiro, 2005/10/09
- Re: The idea of an own L4, Alfred M\. Szmidt, 2005/10/09
- Re: The idea of an own L4, Jonathan S. Shapiro, 2005/10/09
- Re: The idea of an own L4, Alfred M\. Szmidt, 2005/10/09
- Re: The idea of an own L4, Marcus Brinkmann, 2005/10/10
- Re: The idea of an own L4, Alfred M. Szmidt, 2005/10/10
- Re: The idea of an own L4, Jonathan S. Shapiro, 2005/10/10