Hi All,<br><br>I am working on Fiasco compiled for AMD64 architecture. Can some one point which L4 reference manual to read? <br>Also the user manual by Alan Au and Gernot Heiser seems to be old. Is it still valid? please let me know.<br>

<br>Thanks for your time,<br>karthik<br><a href="mailto:l4-hackers@os.inf.tu-dresden.de" target="_blank"></a>