[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: The idea of an own L4
From: |
Bernhard Kauer |
Subject: |
Re: The idea of an own L4 |
Date: |
Thu, 20 Oct 2005 14:14:30 +0200 |
User-agent: |
Mutt/1.5.9i |
On Thu, Oct 20, 2005 at 01:24:29PM +0200, Ludovic Court?s wrote:
> 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. :-)
Ups, I forget the os: http://os.inf.tu-dresden.de/L4/L4.sec/
Thanks for this,
Bernhard
- 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
- Re: The idea of an own L4, Jonathan S. Shapiro, 2005/10/10