On Mon Apr 26, 2010 at 14:32:21 -0400, Karthik Vadambacheri Manian wrote:
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.
For the version of Fiasco you are looking at it is still ok. Also I think you can learn a lot about the concepts etc.
Adam