[HS General] Naruszenie licencji na oprogramowanie?

Cześć,

na liście FWiOO trwa dyskusja na temat odpowiedzi, którą otrzymaliśmy od jednej z dużych firm w sprawie pewnego ich urządzenia (a dokładnie systemu operacyjnego, który na nim jest):

"Linux, ale nie w otwartej edycji, tylko developowany na potrzeby Korporacji. Szczegółowe dane zna developer, ale nie wiem, czy je poda"

Jeżeli jest Linux, to jest kod na GPLu. Urządzenia są dystrybuowane, razem z oprogramowaniem. Jeżeli jest kod na GPLu, który jest dystrybuowany, powinienem móc dostać źródła.

Czyżby pewna duża polska firma naruszała licencję jądra Linuksa?..