> А если распространяется application, завязанное на GPL библиотеки? Или модуль ядра?Если библиотеки динамически линкуются, а модуль загружаемый, то можно не давать исходников.
Если библиотеки статически линкуются, а модуль линкуется с ядром, то думаю, придётся выдать исходники или доказывать, что твой код чётко отделён от основного. А если учесть, что оптимизирующие компиляторы делают машинный код, в котором последовательность действий может не совпадать с последовательностью действий, предписанной исходным кодом, то в процессе доказательства всё равно придётся открыть исходный код.
А ещё хуже, если GPL-исходники используются в качестве include-функций, когда код функции не вызывается через CALL, а подставляются в код программы.