gcc 4.7.1 support for Genode

[Norman Feske]

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

-- 
Dr.-Ing. Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth