And what about Cisco ASA's core (based on linux) ? Isn't Cisco violating GPL too ? AFAIK you're not allowed to freely distribute the images.. neither do they provide the sources..
"Who cares if it doesn't do anything? It was made with our new Triple-Iso-Bifurcated-Krypton-Gate-MOS process ..."