Re: The idea of an own L4

[Manuel Menal]

Ludovic Courtès wrote:

Hey,

> 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.  :-)

Try : <http://os.inf.tu-dresden.de/L4/L4.Sec/>.

Cheers,

--
Manuel Menal