Avrei alcune domande da porvi:

- Se si crea un sistema operativo embedded con linux e lo si usa su macchine di tipo commerciale, per esempio ricevitori satellitari, il software proprietario bisogna distribuirlo con licenza gpl ?

- devo dichiarare che il SO linux anche se non lo faccio pagare al cliente ?

- devo distribuire i sorgenti del SO embedded creato ?

Grazie !