Hi

Is it better to clone from genode's github repo or will the sourceforge zipfile do? Because, in many of the queries, a factor of 'not using latest Genode' pops up.

Thanks and Regards
Aditya