FreeBSD is not just a kernel, it also ships with a userland, which includes a C compiler (obviously). In other words, FreeBSD ships with a gcc binary, which me

FreeBSD is not just a kernel, it also ships with a userland, which includes a C compiler (obviously). In other words, FreeBSD ships with a gcc binary, which means FreeBSD is distributing gcc, which means all clauses in the GPLv3 apply to them. Any group/company/whatever wishing to ship FreeBSD that doesn't strip out the compiler will be affected similarly.