Regd: L4 Reference and User manual

[Adam Lackorzynski]

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
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/