Supported platforms

Robert Campbell waprave at ...9...
Thu Jul 5 22:23:49 CEST 2012

Is it feasible to maintain a list of platforms(boards) and CPUs that are
supported by genode and by which kernel on the website or the github repo?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list