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: <http://lists.genode.org/pipermail/users/attachments/20120705/3879c135/attachment.html>