At Thu, 20 Oct 2005 13:24:29 +0200, Ludovic Courtès wrote: > > Hello, > > Bernhard Kauer <[EMAIL PROTECTED]> 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. :-)
I think he meant http://os.inf.tu-dresden.de/L4/L4.Sec/ . _______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
