On 01/28/2015 05:59 PM, 水镜 wrote:

hi , is there any step by step document about l4 kernel?

https://www.dropbox.com/s/os65yqiieay83hs/L4_Porting_and_Device_Driver_Guide.pdf

I wonder if the document help you but it has contents about porting L4/Fiasco on ARM board and enabling ethernet driver to work.

If you want to know L4 in itself, you can see it from http://os.inf.tu-dresden.de/L4Re/doc/

Thanks,
Taeung

_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers