Thesis on verification of Fiasco's IPC implementation

Erik Schierboom eschierb at
Fri Jun 22 14:09:35 CEST 2007

Hi all,

As some of you will probably already know, I have been working on the 
of (a part of) Fiasco's IPC implementation. This week I have finished my 
thesis and
the result can be found at the following location:

Thanks for all the help I have received.

With regards,

Erik Schierboom

More information about the l4-hackers mailing list