Correct license or not, aren't you missing the key point that the Arduino platform is comprised of many 3rd party components (Processing, Gcc, AVRDUDE, etc) in which the Arduino firm has no control over what license was used and could not change it even if they wanted to ? They simply don't 'own' all the software components used in the platform. Simply put, Arduino is in no position to take action on your re-licensing idea even if they agreed with it.
Correct me if I'm wrong, but just using gcc to compile your code doesn't mean you have to release your code.
Please enter a valid email to subscribe
We need to confirm your email address.
To complete the subscription, please click the link in the
email we just sent you.
Thank you for subscribing!
via Egeo 16