Hacker News Reader

GCC has the GCC Runtime Library Exception: the resulting binary of code compiled with GCC doesn't need to licensed under GPL.

Grandparent is talking about a modified GCC. Not some binary compiled with GCC.

If they aren't distributing their modified GCC with the hardware, they have no obligation to release the source code either.