Операционные системы, встроенное ПО и 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 исходный код программ предоставляется только the recipients, т/е пользователям программы:
------------- GPL snip-----------------------------------------------------
For example, if you distribute copies of such a program, whether
gratis or for a fee, you must give the recipients all the rights that
you have. You must make sure that they, too, receive or can get the
source code. And you must show them these terms so they know their
rights.
------------- GPL snip-----------------------------------------------------

Таким образом никаких "заинтересованных" тут быть не может, а именно только "пользователи вашего устройства"

Это замечание существенной роли не играет. Пользователи вашей программы могут также свободно отдавать ее кому угодно вместе с иходниками, поэтому непонятно как вы сможете ограничить "хождение" ваших исходников только кругом своих непосредственных пользователей. Кроме того, если меня заинтересует прошивка вашего устройства, я могу просто купить у вас один экземпляр и получить доступ к исходникам.

В embedded linux - только linux kernel под GPL лицензией
Кроме linux kernel есть еще и libc которая под LGPL.

А если написать с нуля программу которая динамически линкуется с libc
То ее исходники можно и не открывать и не предоставлять, т/к libc и LGPL
допускает динамическую линковку с коммерческими закрытыми модулями

Это все понятно. В этом случае ваша программа является как бы независимой от ядра или библиотеки.
Но как написать такую программы для встроенного ПО какого-нибудь микроконтроллера?