gcc 4.7.1 support for Genode

[Taru Karttunen]

On Mon, 03 Sep 2012 17:24:44 +0200, Norman Feske <norman.feske at ...1...> wrote:
> > 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

The flow was more or less my initial attempt -> Christian made some
fixes to that -> my current port. There is a cherrypicked patch from
Christian's repo on the gcc47 branch.

- Taru Karttunen