Hi Taru,
This appears to be a working version of gcc 4.7.1 for Genode. https://github.com/taruti/genode/commits/gcc47
this looks good. As we have planned to update our tool chain for the upcoming release anyway, your work is very much appreciated. Does the new patch supersedes the patch set in Christian Prochaska's gcc-4.7.0 branch?
https://github.com/cproc/genode/commits/gcc-4.7.0
ps. I am hacking on gccgo support.
Cool! I am looking forward to it and I am sure that I'm not the only one. :-)
Cheers Norman