Операционные системы, встроенное ПО и GNU GPL, Условия лицензирования Опции

[Dr.NoA]

Описанный ниже вопрос возник у меня после недавнего появления новой версии ОСРВ scmRTOS. Наверное, многие заметили, что scmRTOS v3 не только прописалась на sourceforge'е, обзавелаcь новыми фичами и т.д., но и сменила условия лицензирования - теперь scmRTOS распространяется по лицензии GNU GPL.
До этого я не использовал "свободный" софт в своем встроенном ПО, поэтому особо-то и не интересовался что за собой влечет GNU GPL, а теперь вот пришлось.
Правильно ли я понимаю, что если встроенный софт некоторого устройства построен на основе операционной системы, распространяемой по GPL, (например, scmRTOS или какого-нибудь embedded linux), то я должен пользователям устройства предоставить исходные тексты не только самой ОС, но и своей программы? То есть фактически дать исходные тексты всей прошивки устройства.
Из текста GNU GPL следует, что если программа является независимым продуктом и не основана на лицензируемом коде, то может поставляться в виде отдельного продукта по любой лицензии. Например, для linux'а под обычные ПК я могу писать прикладные программы и продавать их за деньги без всяких исходников, потому что можно разделить непосредственно ОС и дистрибутив прикладной программы.
Для встроенного ПО, в большинстве случаев, такое разделение невозможно - прошивка представляет собой единый файл. Тогда получается, что вся прошивка подпадает под действие GNU GPL. То есть, например, если я буду использовать scmRTOS в своих проектах на MSP430, то должен буду всем желающим предоставлять исходники своего проекта. Что-то как-то это не радует.

Полагаю, что многие участники форума используют в своих проектах различные варианты GNU GPL операционных систем, поэтому мне интересно как вы поступаете.

[Dr.NoA]

Действительно с чистой лицензией GPL это затруднительно, однако FreeRTOS хороший
пример:

GPL Exception
If you opt to use this exception you are encouraged to make a donation to the FreeRTOS project. The link in the frame on the left can be used for this purpose. Any such donation is entirely voluntary and does not result in any enhanced support or any warranty rights.

EXCEPTION TEXT:

Linking FreeRTOS statically or dynamically with other modules is making a combined work based on FreeRTOS. Thus, the terms and conditions of the GNU General Public License cover the whole combination.

As a special exception, the copyright holder of FreeRTOS gives you permission to link FreeRTOS with independent modules that communicate with FreeRTOS solely through the FreeRTOS API interface, regardless of the license terms of these independent modules, and to copy and distribute the resulting combined work under terms of your choice, provided that

1. Every copy of the combined work is accompanied by a written statement that details to the recipient the version of FreeRTOS used and an offer by yourself to provide the FreeRTOS source code should the recipient request it.
2. The combined work is not itself an RTOS, scheduler, kernel or related product.
3. The combined work is not itself a library intended for linking into other software applications.

Any FreeRTOS source code, whether modified or in it's original release form, or whether in whole or in part, can only be distributed by you under the terms of the GNU General Public License plus this exception. An independent module is a module which is not derived from or based on FreeRTOS.

Note that people who make modified versions of FreeRTOS are not obligated to grant this special exception for their modified versions; it is their choice whether to do so. The GNU General Public License gives permission to release a modified version without this exception; this exception also makes it possible to release a modified version which carries forward this exception.

Об этом исключении в лицензии FreeRTOS я и говорил до этого. Условия вполне резонные и выполнимые. Грубо говоря, автор просто просит не составлять конкуренции его продукту и сообщать конечным пользователям, что используется его операционка (это можно рассматривать как рекламу). Ну и по желанию можно сделать пожертвование.
Думаю, что подобное исключение в лицензии scmRTOS решило бы проблему.