Hi. debian/copyright for firmware-linux says "The binary firmwares are downloaded from http://ftp.debian.org/debian/pool/non-free/f/firmware-nonfree"; which is probably not true. Shouldn't that be kernel.org or something? Gruesse, Frank