Some questions about Fiasco
Gernot Heiser
gernot at zuse.disy.cse.unsw.EDU.AU
Sun Dec 27 00:48:50 CET 1998
>>>>> "BG" == Benjamin Gerfelder <benjamin at 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 at 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
More information about the l4-hackers
mailing list