Bug#494010: binary firmware in drivers/char/dsp56k.c

[Robert Millan <rmh@aybabtu.com>]

Package: linux-2.6
Version: 2.6.26-1
Severity: serious

Hi,

drivers/char/dsp56k.c (licensed under GPL2) includes a small section of
binary code:

/* DSP56001 bootstrap code */
static char bootstrap[] = {
        0x0c, 0x00, 0x40, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
	[...]

Since the licensing terms allow redistribution, shipping it is not illegal but
is a DFSG violation.

-- System Information:
Debian Release: lenny/sid
  APT prefers unstable
  APT policy: (500, 'unstable')
Architecture: amd64 (x86_64)

Kernel: Linux 2.6.18-6-amd64 (SMP w/2 CPU cores)
Locale: LANG=ca_AD.UTF-8, LC_CTYPE=ca_AD.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash