l4-hurd
[Top][All Lists]
Advanced
[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
reply via email to
[Prev in Thread] Current Thread [Next in Thread]