On 2003-09-26, Edmund GRIMLEY EVANS <edmundo@rano.org> wrote: > Back to the DSP binaries: I remember that at one point there were DSP > binaries included in the Linux kernel source. Is that still the case? AFAIK, this is one good reason that Debian does not distribute pristine kernel sources: the various binaries have been removed from the upstream kernel sources before packaging. Peace, Dylan