Regd: L4 Reference and User manual
Karthik Vadambacheri Manian
karthikvm.uc at gmail.com
Mon Apr 26 20:32:21 CEST 2010
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 os.inf.tu-dresden.de>
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the l4-hackers