I wrote a few minutes ago:
This paper is now available (along with many other interesting papers from Jochen) from URL:http://i30www.ira.uka.de/images/b_publications_on.gif.
^^^^ Oops, although you probably like GIFs, this one isn't of particular utility. Here's the correct URL: URL:http://i30www.ira.uka.de/publications/index.html.
Michael
l4-hackers@os.inf.tu-dresden.de