Re: gcc 4.7.1 support for Genode

[Norman F. <nor...@ge...>]

Hi Taru,

> 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.

thanks for clarifying. I have just opened an issue for the tool-chain
upgrade:

  https://github.com/genodelabs/genode/issues/346

Cheers
Norman