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. :-) Thanks, Ludovic. _______________________________________________ L4-hurd mailing list L4-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/l4-hurd
