Regd: L4 Reference and User manual
adam at os.inf.tu-dresden.de
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 os.inf.tu-dresden.de
More information about the l4-hackers