I develop a firmware using a Tiva C Series TM4C123G (aka EK-TM4C123GXL) and I was planning to distribute it under General Public License (GPL). However, looking at the TivaWare files, it seems mentioned that it cannot be combined with "viral" open-source software. To avoid this, I separated my code from TivaWare, providing instructions in a README on how to install TivaWare in order to be able to build my firmware.
I am now formatting the GPL header for my code and according to this http://www.gnu.org/licenses/gpl-faq.html#GPLIncompatibleLibs I can provide my own exception to the license's terms (I use GPL version 2). Is such a special exception for TivaWare enough in my case?
Let me know if you need more details on my license formulation.
Thanks!
