echo 'deb http://ftp.debian.org/debian stretch-backports main' | sudo tee /etc/apt/sources.list.d/org-debian-backports.list sudo apt-get install hplip=3.18.10+dfsg0-3~bpo9+1
UEfi
efi: No EFI runtime due to 32/64-bit mismatch with kernel
aplay -l aplay: device_list:270: no soundcards found...
cat /proc/asound/cards --- no soundcards ---
lspci -v 00:1b.0 Audio device: Intel Corporation 6 Series/C200 Series Chipset Family High Definition Audio Controller (rev 04) Subsystem: Hewlett-Packard Company 6 Series/C200 Series Chipset Family High Definition Audio Controller Flags: fast devsel, IRQ 7 Memory at fe420000 (64-bit, non-prefetchable) [disabled] [size=16K] Capabilities: [50] Power Management version 2 Capabilities: [60] MSI: Enable- Count=1/1 Maskable- 64bit+ Capabilities: [70] Express Root Complex Integrated Endpoint, MSI 00 Capabilities: [100] Virtual Channel Capabilities: [130] Root Complex Link Kernel modules: snd_hda_intel
Workaround:
lsmod | grep snd_hda_intel modprobe -rv snd_hda_intel modprobe -v snd_hda_intel echo 'snd_hda_intel' | tee /etc/modules reboot
More:
cat /proc/asound/card0/codec* | grep Codec Codec: Realtek ALC662 rev1 Codec: Intel CougarPoint HDMI
Product Name: HP Elite 7500 Series MT