On Wed, Nov 19, 2003 at 08:41:32PM +0100, Steinar H. Gunderson wrote: > On Wed, Nov 19, 2003 at 07:52:22PM +0100, Oliver Kurth wrote: > > There may also be issues with the firmware: the source is /not/ GPL'ed, but > > the hex files from Atmel are. I am not sure if this is possible, and if it > > is a problem for Debian to get it into main. > > IANAL, but... > > If the hex files are GPLed, they are probably not distributable -- hex .c > files probably do not fall into the GPL's definition of source code ("the > preferred form of making alterations"); without the driver source we do not > have the source code and such can't distribute it without violating GPL. > Check with debian-legal, perhaps? Maybe there can be an exception because the code is not run on the host but on the device? CC'ing debian-legal. Greetings, Oliver -- .''`. : :' : Oliver Kurth email@example.com `. `' Debian GNU/Linux maintainer - www.debian.org `- When sending passwords, please use my gpg key. That's what it's good for.
Description: Digital signature