Se a configuração do kernel não for distribuída em /boot/config-*
ou disponível em /proc/config.gz
, é quase impossível obtê-la. Como Alex escreveu, eles também poderiam ter corrigido o kernel e incluído drivers proprietários.
Mas como o kernel está sob GPLv2 , o proprietário do site em que você fez o download dos binários deve fornecer a configuração correspondente, incluindo o código-fonte que eles usaram para compilá-lo. Caso você tenha problemas, entre em contato com gpl-violations.org .