https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118280
--- Comment #11 from Thomas Petazzoni <thomas.petazz...@free-electrons.com> --- Is there any update about this patch? Should consider Microblaze unmaintained/broken, and possibly drop support for it?
