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...
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
l4-hackers@os.inf.tu-dresden.de