is there any step by step document?

[水镜]

hi , is there any step by step document about l4 kernel?‍
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20150128/44a1cf1d/attachment.html>