29 Jan
2015
29 Jan
'15
3:39 a.m.
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