5 Jul
2012
5 Jul
'12
10:23 p.m.
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?