Hey Norman,<br><br>     Is there GCC compiler in Genode-12-05.<br><br>Thank you,<br>Naveen<br>