Re: gcc 4.7.1 support for Genode

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