"BG" == Benjamin Gerfelder benjamin@dante.saar.de writes:
BG> 1) Are there any documents you suggest reading, besides the L4 Reference BG> Manual? Any document would be of use, since I don`t have a clue on BG> L4, but I want to play around with it. Is there anything like BG> "L4 for dummies" ? :)
Try the L4 User Manual available from http://www.cse.unsw.EDU.AU/~disy/L4/. Examples are based on L4/MIPS but should translate easily to the intel version.
Gernot -- Gernot Heiser ,--_|\ School of Computer Sci. & Engin. Phone: +61 2 9385 5156 / \ The University of NSW Fax: +61 2 9385 5995 _,--._* Sydney, Australia 2052 E-mail: G.Heiser@unsw.edu.au v http://www.cse.unsw.edu.au/~gernot PGP fingerprint = 94 1E B8 28 25 FD 7C 94 20 10 92 E5 0B FF 39 8F