Trademark Usage Guidelines
devkitPro, devkitARM, devkitPPC, devkitPSP, devkitA64 and other devkitPro graphics, logos and service names are trademarks of Dave Murphy. These trademarks may not be used in connection with any product or service that is not devkitPro's, in any manner that is likely to cause confusion among customers, or in any manner that disparages or discredits devkitPro.
Trademarks and the GPL
Some devkitPro software products contain copyrighted works released under the terms of the GNU General Public License (GPL). The GPL grants you certain rights to make and distribute derivative works based on the source code to devkitPro products. Any modification of a devkitPro product, including but not limited to adding binaries, libraries, deconstructing an installation to individual components, or modifying the scripts within a devkitPro toolchain installation is no longer a devkitPro product and may not use the trademarks at all.
The GPL does not grant you any right to use devkitPro trademarks in connection with these derivative works. devkitPro trademarks may not be used in connection with any such derivative works unless that usage is explicitly and specifically licensed, in writing, from Dave Murphy.
Please note that we do not supply old binaries or source for old binaries and you may not distribute GPL binaries without corresponding source code.
Ultimately you should bear in mind that the purpose of the GPL is to foster collaboration and community, not to take the work of other people and compete in the same marketplace. Any improvements can and should be submitted to us for potential inclusion while paying attention to the fact that changes which benefit one particular project may have deleterious effects on many others.
Above all please consider speaking with devkitPro staff before embarking on large changesets which will most likely be rejected if they haven't considered the wider impact.
We are not lawyers
Trademark and copyright issues are, at heart, legal matters. We've tried to keep this explanation as simple and common-sense as possible, but if you have any questions about when and how to use devkitPro trademarks, your best bet is to ask a lawyer. We are not lawyers.
Why we do this
Despite our best efforts to advise and support our users, some individuals feel the need to repackage old versions of devkitPro products with mismatched libraries in order to avoid updating their products to work with the latest tools. Some of these products will overwrite your installation without option or warning, creating an installation which no longer functions as expected. Supporting people who have suffered from these 3rd party products takes time away from improving the tools on which our users depend.