How can i port linux driver to genode

周俊 13502181502 at ...176...
Wed Mar 18 15:01:52 CET 2015

Hi everyone!
I have been read the official document: <>
I know the basic steps to port driver to genode. but i have some question:how can i write a port file?i don’t  know  what thing should write in a port file?

only include License ,version,downloads, URL,SHA,DIR.patches,patch_ot.  is’t ok?

what the relationship  between port file and hash file?


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list