L4 Hazelnut Documentation

[thefly]

hi, is there some doc about the plans and TODO of this project? just to
know the planned work on l4 and on the Hurd. 
Another thing, do you know anything about the existence of a paper
describing l4's _design_ on x86? i've found only about strongARM: 
ftp://ftp.cse.unsw.edu.au/pub/users/awiggins/thesis.ps.gz
alpha:
http://os.inf.tu-dresden.de/~schoenbg/papers/diplom.ps
mips:
http://www.cse.unsw.EDU.AU/~disy/L4/MIPS/inside/inside.pdf

thanks
-- 
    Claudio "thefly" Martella
    address@hidden
    address@hidden
... Powered by Debian GNU/Linux