Regd: L4 Reference and User manual

Adam Lackorzynski adam at
Wed Apr 28 00:03:06 CEST 2010

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 at

More information about the l4-hackers mailing list