Regd: L4 Reference and User manual

Karthik Vadambacheri Manian karthikvm.uc at
Mon Apr 26 20:32:21 CEST 2010

Hi All,

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

Thanks for your time,
<l4-hackers at>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the l4-hackers mailing list