In http://www.chibios.org/dokuwiki/doku.ph ... os:license states that there is a pure-GPLv3 licence option, but then in the table under "Pure GPL3" it says "Can I use ChibiOS/RT in my commercial embedded product? : no "
The GPLv3 licence allows commercial use, so the two statements conflict. Either ChibiOS has a pure GPLv3 licence option which allows commercial use, or it does not have a pure GPLv3 licence option. Which is correct?
From http://www.gnu.org/licenses/gpl-faq.html
I'd like to license my code under the GPL, but I'd also like to make it clear that it can't be used for military and/or commercial uses. Can I do this?
No, because those two goals contradict each other. The GNU GPL is designed specifically to prevent the addition of further restrictions. GPLv3 allows a very limited set of them, in section 7, but any other added restriction can be removed by the user.