Regd: L4 Reference and User manual

Karthik Vadambacheri Manian karthikvm.uc at gmail.com
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,
karthik
<l4-hackers at os.inf.tu-dresden.de>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20100426/7c4009d6/attachment.html>


More information about the l4-hackers mailing list