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