A podle mého jest dílem odvozeným dílo povahy takové, že jest v něm zakompováno dílo původní, případně část ködu jeho.
Takže pokud do svého programu nepřepíšu kus GPL kódu, nebo jej s ním STATICKY neslinkuju, tak si myslím že dílo odvozené není.
Pokud chci používat vnitřní pochody v kernelu jen tím, že volám jeho funkce, nestvořil jsem odvozené dílo, pokud do svého programu přepíšu pro jeho funkci nezbytnou část jádra nebo jiného GPL programu, (ale dokažte mi že jsem to opsal a nevymyslel) mám odvozené dílo. Takže kdyby NVIDIA udělala GPL jaderný modul - zavaděč+interface , který by si po zavedení donahrál binární nonGPL část a každé to bylo zvlášť...
Nevím jestli by to šlo v kernelu se nevyznám, ale možná by to bylo řešení...