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..
"I never let my schooling get in the way of my education." -- Mark Twain