Bug#815787: May be a kernel problem not a pulseaudio one?

[Felipe Sateler <fsateler@debian.org>]

Control: retitle: linux-4.4: missing snd-emu10k1 modules

On 25 February 2016 at 15:14, Russel Winder <russel@winder.org.uk> wrote:
> Hi,
>
>> The emu10k1 (or emu10k1x) driver (for the sound blaster) is not
>> loaded, so this is almost certainly a kernel problem.
>
> Hummm….
>
> |> find /lib -name "*emu10k*"
> /lib/modules/4.2.0-1-amd64/kernel/sound/pci/emu10k1
> /lib/modules/4.2.0-1-amd64/kernel/sound/pci/emu10k1/snd-emu10k1x.ko
> /lib/modules/4.2.0-1-amd64/kernel/sound/pci/emu10k1/snd-emu10k1-
> synth.ko
> /lib/modules/4.2.0-1-amd64/kernel/sound/pci/emu10k1/snd-emu10k1.ko
> /lib/modules/4.2.0-1-amd64/kernel/drivers/input/gameport/emu10k1-gp.ko
> /lib/modules/4.3.0-1-amd64/kernel/sound/pci/emu10k1
> /lib/modules/4.3.0-1-amd64/kernel/sound/pci/emu10k1/snd-emu10k1x.ko
> /lib/modules/4.3.0-1-amd64/kernel/sound/pci/emu10k1/snd-emu10k1-
> synth.ko
> /lib/modules/4.3.0-1-amd64/kernel/sound/pci/emu10k1/snd-emu10k1.ko
> /lib/modules/4.3.0-1-amd64/kernel/drivers/input/gameport/emu10k1-gp.ko
> /lib/modules/4.4.0-1-amd64/kernel/drivers/input/gameport/emu10k1-gp.ko
>
> I think we have an answer, the kernel modules are not being packaged. I
> should have got here a lot earlier!

OK, now we have a root cause. Retitling the bug accordingly.

-- 

Saludos,
Felipe Sateler