Symbian releases microkernel

This is ridiculously impractical, of course, unless the compiler into
which you're dumping bits of GCC is itself related to GCC: and in that
case, that compiler must also be GPLed, so there's no violation.

(Sure, someone might start a new compiler project under a different
license using an architecture similar enough to GCC that transferring code
from it was practical, but if they do I think they should be checked out
by a good psychiatrist first 'cos they're obviously insane. ;) )