Mondta bárki is, hogy a FreeBSD-ben nincs GPL kód? Van. Hogy egyet mondjak, a gcc is GPL-es.
A FreeBSD kernelében (elvileg) nincs. Ők ez alatt azt értik, hogy ha fordítasz egy GENERIC kernelt, az nem lesz GPL-lel "fertőzőtt" (contaminated, pontosan ezt a szót használják).
Az említett szarok külön ágon vannak (ahogy a ZFS, és a dtrace is), pont ezért (is).
Most jöhet az, hogy a bináris kernelmodul szállítása, előállítása GPL-es kódból, egy nem GPL-es kernelhez vajon sérti-e a GPL míves, obfuszkát szövegét. De hát ebben mintha máshol sem lenne egyetértés (csak ott mintha fordítva lenne a helyzet).