Am Mittwoch, den 30.11.2016, 20:10 -0800 schrieb Julius Werner:
Thank you for the elaborate explanation. I never intended to take on that task, but if I had, you would have convinced me.
I hope using GNU11 suits everyone.
Yes, just to be clear (this has split into so many different threads that I'm no longer sure what the latest decision is?), I only (prematurely) objected to forbidding GNU extensions. Otherwise, I'm totally in favor of switching to C11 and not aware of any difference between the versions that would cause a problem for us.
As written, my current understanding is, that when switching the coreboot toolchain from 4.9(?) to 5.3(?), the coreboot project switched from GNU89 to GNU11.
My current proposal  is to explicitly set that, so that people can still use GCC 4.9 – Debian 8.5 (Jessie/stable) ships GCC 4.9.2.
Reviews are welcome.