I'm working on a project for the STM32 platform that I would like to open source under the GPL v3 license, however some of the libraries provided by ST that are required are license under their SLA0044 (www.st.com/SLA0044) which states
5. No use, reproduction or redistribution of this software partially or totally may be done in any manner that would subject this software to any Open Source Terms. “Open Source Terms” shall mean any open source license which requires as part of distribution of software that the source code of such software is distributed therewith or otherwise made available, or open source license that substantially complies with the Open Source definition specified at www.opensource.org and any other comparable open source license such as for example GNU General Public License (GPL), Eclipse Public License (EPL), Apache Software License, BSD license or MIT license.
Would I be able to add an exclusion under Section 7 of GPL v3 which excludes the ST libraries and specifies that they are licensed under a separate license? and if so how would I word that exception?