final licence question.
I am about to send upstream my latest advice on the licence issues i
discussed here previously, and have one last question.
To recapitulate, upstream is packaging a pci adsl modem driver, which
use a software library to do the ADSL decoding. They don't have the
source to this library themselves.
They plan to release it under the GPL or something such, and i suggested
adding an exception for the proprietary code, as found on the FSF FAQ :
In addition, as a special exception, <name of copyright
holder> gives permission to link the code of this program with
the FOO library (or with modified versions of FOO that use the
same license as FOO), and distribute linked combinations including
the two. You must obey the GNU General Public License in all
respects for all of the code used other than FOO. If you modify
this file, you may extend this exception to your version of the
file, but you are not obligated to do so. If you do not wish to
do so, delete this exception statement from your version.
Would this be enough for the driver in question to enter
debian/non-free, in particular, this allow me to distribute the
binaries, of the linked combination of the GPLed part and the
proprietary part, but does this cover me/us/debian about distributing
the proprietary .o in the source package, as this is a standard debian
kernel-module-source package ?