GCC 4.9

Dear L4 hackers, we recently started porting FIASCO to OpenRISC and our cross-compiler is GCC 4.9. I added the required libraries to our project mirror at github: https://github.com/TUM-LIS/optimsoc-fiasco/tree/for-upstream-gcc4.9 Are you interested in this? Do you want me to submit a patch for the latest public svn tree? Regards, Stefan