Translation(s): none

DebianOn is an effort to document how to install, configure and use Debian on some specific hardware. Therefore potential buyers would know if that hardware is supported and owners would know how get the best out of that hardware.

The purpose is not to duplicate the Debian Official Documentation, but to document how to install Debian on some specific hardware.

If you need help to get Debian running on your hardware, please have a look at our user support channels where you may find specific channels (mailing list, IRC channel) dedicated to certain types of hardware.

Models covered
HP Envy 15

Debian version tested
Jessie (testing) AMD64 - GNU/Linux

Sub-models (HP Envy 15-j104sl (F9E69EA)) options:

Processor: Intel Core i7-4700MQ with Intel HD Graphics 4600
Discrete video card: NVIDIA GeForce GT 740M (2 GiB DDR3 dedicated)
Display: 39.6 cm (15.6") diagonal, resolution 1920×1080 (Full-HD), LED-backlit
Wireless card: Ralink corp. RT3290 Wireless 802.11n 1T/1R PCIe + Bluetooth 4.0
Disk size: 1000 GiB
RAM size: 12 GiB
Optical device: none
Fingerprint reader
Backlit keyboard
Webcam: HP Truevision HD, resolution 1280×720, with integrated dual array digital microphone
Beats Audio™ with 4 speakers and two subwoofers
SD card reader
1 HDMI port
4 USB ports, of which one is always on, even with laptop switched off but connected to the AC power, to charge external devices (commercial name of this port: HP USB Boost™)

Overall Status

Core Components
Boot Standard Kernel:
EFI Boot:
LAN network card:
Detect hard drives:
Extra Features
CPU Frequency Scaling
Hibernation	[?]
Sleep / Suspend
Xorg
- OpenGL
- Resize-and-Rotate(randr)	[?]
Switch to External Screen
Mouse
- Built-in (Touchpad)
Wireless/Wifi
Bluetooth
Keyboard's Hotkeys
Audio
Fingerprint reader
Keyboard backlight
Webcam
- Two stereo microphones
SD card reader

Legend :
= OK ; Unsupported(No Driver) ; $/!\$ = Error (Couldn't get it working); [?] Unknown, Not Test ; [-] Not-applicable
= Configuration Required; = Only works with a non-free driver and or firmware

Important Notes

Disabling Secure Boot

This laptop comes with Windows 8 pre-installed, so you have to disable Secure Boot before being able to install Debian. Right after switching-on the computer, press F10 to enter the setup utility. In the System Configuration tab, select Boot Options entry and disable Secure Boot. You do not need to enable Legacy Boot.

Starting the system from USB

Since the laptop has no internal optical disc readers, prepare a USB memory stick with a Debian hybrid CD or DVD image. Then you need to start the system from the USB memory. In my case, the boot menu opened by pressing F9 right after system start up did not show a USB entry, thus I had to start Windows and press Shift while selecting Restart: in this way I managed to select the USB memory as device from which to restart the system.

The installation process should end without errors.

Configuration

EFI Boot

After having installed successfully Debian, GRUB may not be the default Boot Manager. Should this be the case for you, right after system start-up press F9 to enter the Boot menu and there select the debian entry to start Debian. Inside Debian, make sure grub-efi-amd64 is installed and the efivars module is loaded, then run as root the following commands in a console:

# grub-install /dev/sdX
# update-grub

$/!\$ WARNING: remember to replace /dev/sdX with the device Debian is actually installed on!

If you have dual-boot with Windows 8, you may need to repeat this operation every time after Windows is started.

Display

(not covered yet)

Switch to External Screen

This laptop has an HDMI port; switch to external screen works out of the box, just plug an HDMI cable or adapter and the system will find the new screen.

Video cards

Intel integrated video card: 00:02.0 VGA compatible controller [0300]: Intel Corporation 4th Gen Core Processor Integrated Graphics Controller [8086:0416] (rev 06) (prog-if 00 [VGA controller])
Nvidia discrete video card: 01:00.0 3D controller [0302]: NVIDIA Corporation GK208M [GeForce GT 740M] [10de:1292] (rev a1)

The Nvidia discrete video card works out of the box with the free and default nouveau driver.

Bumblebee with nouveau driver

You may want to install Bumblebee to improve battery life by letting Bumblebee disable the Nvidia discrete card when not needed and use the less powerful (and less power-consuming) Intel integrated video card. You can install Bumblebee for the free nouveau driver with the command

# apt-get install bumblebee primus

As explained in the Bumblebee guide, add your user to the bumblebee group, if you are not in the sudo group already,

# adduser $USER bumblebee

Log out and log back in for this to take effect.

Bumblebee with Nvidia driver

If you want instead to use the proprietary Nvidia driver, remember to install Bumblebee as well. You can accomplish that with the command (you must enable contrib and non-free components of the Debian repositories)

# dpkg --add-architecture i386 && apt-get update && apt-get install bumblebee-nvidia primus primus-libs:i386

As before, add your user to the bumblebee group

# adduser $USER bumblebee

After this, restart the system. You will be able to manually run a program with the Nvidia discrete video card with

$ optirun [options] <application> [application-parameters]

Trying to run a program this way, you will probably get the following error

[ERROR]Cannot access secondary GPU - error: Could not load GPU driver

You have¹ to edit /etc/bumblebee/bumblebee.conf using your preferred editor as root, and change "KernelDriver=nvidia" to "KernelDriver=nvidia-current", then restart the bumblebee daemon, i.e.

# service bumblebeed restart

Audio

The base speakers work out of the box. HDA Intel PCM (or Internal Audio Analog Stereo) should be the default sound card. The other Beats Audio™ speakers require configuration, see below.

Other Beats Audio™ speakers

The laptop has 4 speakers and two subwoofers, but Debian uses by default only the base ones. The easiest way to select the additional speakers and subwoofers is to use the HDAJackRetask utility, bundled with the alsa-tools-gui package. After having installed that, open the utility from the menu or from the command line with

hdajackretask

Select the codec IDT 92HD91BXX. On the right, activate the Show unconnected pins option. Then, in the Pin configuration:

check Override for the Pin ID: 0x0d and select Internal speaker from the drop-down list (these should be the speakers under the keyboard);
check Override for the Pin ID: 0x0f and select Internal speaker from the drop-down list (these should be the speakers under the display);
check Override for the Pin ID: 0x10 and select Internal speaker (LFE) (LFE = Low-Frequency Effects) from the drop-down list (these are the subwoofers).

Click on the Apply now button, in order to test the new configuration. Now the HDA Intel PCM sound card might be mute, use alsamixer to unmute it. Carry on your tests with an application not affected by the Pulse reset, such as VLC (make sure VLC uses Internal Audio Analog Stereo as audio device from the Audio > Audio Device menu). If all works, click on the Install boot override button inside HDAJackRetask to make changes permanent after reboot.²

There are many guides explaining how to enable all Beats Audio™ speakers, but it is hard to trace back to the original one. Some of them are:

Touchpad

Works out of the box. Also many multi-touch gestures work without further configuration, including tap, double tap, two finger tap, three finger tap, edge (both vertical and horizontal) scroll, two finger (both vertical and horizontal) scroll, pinch, and zoom.

To configure the touchpad in KDE, you need the kde-config-touchpad package (aka Synaptiks).

Power Management

Works out of the box. The non-free intel-microcode package may help to improve battery life.³

WiFi

07:00.0 Network controller [0280]: Ralink corp. RT3290 Wireless 802.11n 1T/1R PCIe [1814:3290]
Install the non-free firmware-ralink package. WiFi should immediately work.⁴ Note: F12 key can be used to switch WiFi and Bluetooth (see below) on/off, but the LED (a little LED on F12 key) is always red, as if WiFi/Bluetooth were turned off, even when they are active.

Bluetooth

07:00.1 Bluetooth [0d11]: Ralink corp. RT3290 Bluetooth [1814:3298]
As of 2014-08-08, there is no driver supporting bluetooth for this device.

Someone reported being able to compile a patched version of the rt3290 driver to make bluetooth work, but I did not test those solutions. See:

Fingerprint reader

Bus 003 Device 003: ID 138a:0050 Validity Sensors, Inc.
This fingerprint is not currently (2014-08-08) supported by fprint, see the list of supported devices at https://launchpad.net/~fingerprint. There is an ongoing effort to make it work, see http://paydensutherland.com/2014/01/libfprint-138a-0050-driver/

Keyboard backlight

Works out of the box. It can be switched on/off by pressing F5.

Webcam

Bus 003 Device 002: ID 05c8:036d Cheng Uei Precision Industry Co., Ltd (Foxlink)
Works out of the box. The two stereo microphones work as well.

Ethernet controller

0f:00.0 Ethernet controller [0200]: Realtek Semiconductor Co., Ltd. RTL8111/8168/8411 PCI Express Gigabit Ethernet Controller [10ec:8168] (rev 0c)
Works out of the box.

When you run

# update-initramfs -u

you may read some warnings like the following one

W: Possible missing firmware /lib/firmware/rtl_nic/rtl8168f-2.fw for module r8169

To fix this, install the non-free firmware-realtek package.

SD Card reader

09:00.0 Unassigned class [ff00]: Realtek Semiconductor Co., Ltd. RTS5227 PCI Express Card Reader [10ec:5227] (rev 01)
Works out of the box.

System Summary

lspci -vnn

00:00.0 Host bridge [0600]: Intel Corporation Xeon E3-1200 v3/4th Gen Core Processor DRAM Controller [8086:0c04] (rev 06)
        Subsystem: Hewlett-Packard Company Device [103c:1963]
        Flags: bus master, fast devsel, latency 0
        Capabilities: [e0] Vendor Specific Information: Len=0c <?>

00:01.0 PCI bridge [0604]: Intel Corporation Xeon E3-1200 v3/4th Gen Core Processor PCI Express x16 Controller [8086:0c01] (rev 06) (prog-if 00 [Normal decode])
        Flags: bus master, fast devsel, latency 0
        Bus: primary=00, secondary=01, subordinate=06, sec-latency=0
        I/O behind bridge: 00005000-00005fff
        Memory behind bridge: d2000000-d2ffffff
        Prefetchable memory behind bridge: 00000000a0000000-00000000bfffffff
        Capabilities: [88] Subsystem: Hewlett-Packard Company Device [103c:1963]
        Capabilities: [80] Power Management version 3
        Capabilities: [90] MSI: Enable+ Count=1/1 Maskable- 64bit-
        Capabilities: [a0] Express Root Port (Slot+), MSI 00
        Capabilities: [100] Virtual Channel
        Capabilities: [140] Root Complex Link
        Capabilities: [d94] #19
        Kernel driver in use: pcieport

00:02.0 VGA compatible controller [0300]: Intel Corporation 4th Gen Core Processor Integrated Graphics Controller [8086:0416] (rev 06) (prog-if 00 [VGA controller])
        Subsystem: Hewlett-Packard Company Device [103c:1963]
        Flags: bus master, fast devsel, latency 0, IRQ 46
        Memory at d3000000 (64-bit, non-prefetchable) [size=4M]
        Memory at c0000000 (64-bit, prefetchable) [size=256M]
        I/O ports at 6000 [size=64]
        Expansion ROM at <unassigned> [disabled]
        Capabilities: [90] MSI: Enable+ Count=1/1 Maskable- 64bit-
        Capabilities: [d0] Power Management version 2
        Capabilities: [a4] PCI Advanced Features
        Kernel driver in use: i915

00:03.0 Audio device [0403]: Intel Corporation Xeon E3-1200 v3/4th Gen Core Processor HD Audio Controller [8086:0c0c] (rev 06)
        Subsystem: Hewlett-Packard Company Device [103c:1963]
        Flags: bus master, fast devsel, latency 0, IRQ 48
        Memory at d3710000 (64-bit, non-prefetchable) [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
        Kernel driver in use: snd_hda_intel

00:14.0 USB controller [0c03]: Intel Corporation 8 Series/C220 Series Chipset Family USB xHCI [8086:8c31] (rev 05) (prog-if 30 [XHCI])
        Subsystem: Hewlett-Packard Company Device [103c:1963]
        Flags: bus master, medium devsel, latency 0, IRQ 43
        Memory at d3700000 (64-bit, non-prefetchable) [size=64K]
        Capabilities: [70] Power Management version 2
        Capabilities: [80] MSI: Enable+ Count=1/8 Maskable- 64bit+
        Kernel driver in use: xhci_hcd

00:16.0 Communication controller [0780]: Intel Corporation 8 Series/C220 Series Chipset Family MEI Controller #1 [8086:8c3a] (rev 04)
        Subsystem: Hewlett-Packard Company Device [103c:1963]
        Flags: bus master, fast devsel, latency 0, IRQ 45
        Memory at d3718000 (64-bit, non-prefetchable) [size=16]
        Capabilities: [50] Power Management version 3
        Capabilities: [8c] MSI: Enable+ Count=1/1 Maskable- 64bit+
        Kernel driver in use: mei_me

00:1a.0 USB controller [0c03]: Intel Corporation 8 Series/C220 Series Chipset Family USB EHCI #2 [8086:8c2d] (rev 05) (prog-if 20 [EHCI])
        Subsystem: Hewlett-Packard Company Device [103c:1963]
        Flags: bus master, medium devsel, latency 0, IRQ 16
        Memory at d371d000 (32-bit, non-prefetchable) [size=1K]
        Capabilities: [50] Power Management version 2
        Capabilities: [58] Debug port: BAR=1 offset=00a0
        Capabilities: [98] PCI Advanced Features
        Kernel driver in use: ehci-pci

00:1b.0 Audio device [0403]: Intel Corporation 8 Series/C220 Series Chipset High Definition Audio Controller [8086:8c20] (rev 05)
        Subsystem: Hewlett-Packard Company Device [103c:1963]
        Flags: bus master, fast devsel, latency 0, IRQ 47
        Memory at d3714000 (64-bit, non-prefetchable) [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
        Kernel driver in use: snd_hda_intel

00:1c.0 PCI bridge [0604]: Intel Corporation 8 Series/C220 Series Chipset Family PCI Express Root Port #3 [8086:8c14] (rev d5) (prog-if 00 [Normal decode])
        Flags: bus master, fast devsel, latency 0
        Bus: primary=00, secondary=07, subordinate=07, sec-latency=0
        Memory behind bridge: d3600000-d36fffff
        Capabilities: [40] Express Root Port (Slot+), MSI 00
        Capabilities: [80] MSI: Enable- Count=1/1 Maskable- 64bit-
        Capabilities: [90] Subsystem: Hewlett-Packard Company Device [103c:1963]
        Capabilities: [a0] Power Management version 3
        Kernel driver in use: pcieport

00:1c.2 PCI bridge [0604]: Intel Corporation 8 Series/C220 Series Chipset Family PCI Express Root Port #1 [8086:8c10] (rev d5) (prog-if 00 [Normal decode])
        Flags: bus master, fast devsel, latency 0
        Bus: primary=00, secondary=08, subordinate=08, sec-latency=0
        Capabilities: [40] Express Root Port (Slot-), MSI 00
        Capabilities: [80] MSI: Enable- Count=1/1 Maskable- 64bit-
        Capabilities: [90] Subsystem: Hewlett-Packard Company Device [103c:1963]
        Capabilities: [a0] Power Management version 3
        Kernel driver in use: pcieport

00:1c.3 PCI bridge [0604]: Intel Corporation 8 Series/C220 Series Chipset Family PCI Express Root Port #4 [8086:8c16] (rev d5) (prog-if 00 [Normal decode])
        Flags: bus master, fast devsel, latency 0
        Bus: primary=00, secondary=09, subordinate=0e, sec-latency=0
        I/O behind bridge: 00004000-00004fff
        Memory behind bridge: d1000000-d1ffffff
        Prefetchable memory behind bridge: 00000000d0000000-00000000d0ffffff
        Capabilities: [40] Express Root Port (Slot+), MSI 00
        Capabilities: [80] MSI: Enable- Count=1/1 Maskable- 64bit-
        Capabilities: [90] Subsystem: Hewlett-Packard Company Device [103c:1963]
        Capabilities: [a0] Power Management version 3
        Kernel driver in use: pcieport

00:1c.6 PCI bridge [0604]: Intel Corporation 8 Series/C220 Series Chipset Family PCI Express Root Port #7 [8086:8c1c] (rev d5) (prog-if 00 [Normal decode])
        Flags: bus master, fast devsel, latency 0
        Bus: primary=00, secondary=0f, subordinate=0f, sec-latency=0
        I/O behind bridge: 00003000-00003fff
        Memory behind bridge: d3500000-d35fffff
        Prefetchable memory behind bridge: 00000000d3400000-00000000d34fffff
        Capabilities: [40] Express Root Port (Slot+), MSI 00
        Capabilities: [80] MSI: Enable- Count=1/1 Maskable- 64bit-
        Capabilities: [90] Subsystem: Hewlett-Packard Company Device [103c:1963]
        Capabilities: [a0] Power Management version 3
        Kernel driver in use: pcieport

00:1d.0 USB controller [0c03]: Intel Corporation 8 Series/C220 Series Chipset Family USB EHCI #1 [8086:8c26] (rev 05) (prog-if 20 [EHCI])
        Subsystem: Hewlett-Packard Company Device [103c:1963]
        Flags: bus master, medium devsel, latency 0, IRQ 17
        Memory at d371c000 (32-bit, non-prefetchable) [size=1K]
        Capabilities: [50] Power Management version 2
        Capabilities: [58] Debug port: BAR=1 offset=00a0
        Capabilities: [98] PCI Advanced Features
        Kernel driver in use: ehci-pci

00:1f.0 ISA bridge [0601]: Intel Corporation HM87 Express LPC Controller [8086:8c4b] (rev 05)
        Subsystem: Hewlett-Packard Company Device [103c:1963]
        Flags: bus master, medium devsel, latency 0
        Capabilities: [e0] Vendor Specific Information: Len=0c <?>
        Kernel driver in use: lpc_ich

00:1f.2 SATA controller [0106]: Intel Corporation 8 Series/C220 Series Chipset Family 6-port SATA Controller 1 [AHCI mode] [8086:8c03] (rev 05) (prog-if 01 [AHCI 1.0])
        Subsystem: Hewlett-Packard Company Device [103c:1963]
        Flags: bus master, 66MHz, medium devsel, latency 0, IRQ 44
        I/O ports at 6088 [size=8]
        I/O ports at 6094 [size=4]
        I/O ports at 6080 [size=8]
        I/O ports at 6090 [size=4]
        I/O ports at 6060 [size=32]
        Memory at d371b000 (32-bit, non-prefetchable) [size=2K]
        Capabilities: [80] MSI: Enable+ Count=1/1 Maskable- 64bit-
        Capabilities: [70] Power Management version 3
        Capabilities: [a8] SATA HBA v1.0
        Kernel driver in use: ahci

00:1f.3 SMBus [0c05]: Intel Corporation 8 Series/C220 Series Chipset Family SMBus Controller [8086:8c22] (rev 05)
        Subsystem: Hewlett-Packard Company Device [103c:1963]
        Flags: medium devsel, IRQ 18
        Memory at d3719000 (64-bit, non-prefetchable) [size=256]
        I/O ports at 6040 [size=32]

01:00.0 3D controller [0302]: NVIDIA Corporation GK208M [GeForce GT 740M] [10de:1292] (rev a1)
        Subsystem: Hewlett-Packard Company Device [103c:219a]
        Flags: bus master, fast devsel, latency 0, IRQ 49
        Memory at d2000000 (32-bit, non-prefetchable) [size=16M]
        Memory at a0000000 (64-bit, prefetchable) [size=256M]
        Memory at b0000000 (64-bit, prefetchable) [size=32M]
        I/O ports at 5000 [size=128]
        Expansion ROM at b2000000 [disabled] [size=512K]
        Capabilities: [60] Power Management version 3
        Capabilities: [68] MSI: Enable+ Count=1/1 Maskable- 64bit+
        Capabilities: [78] Express Endpoint, MSI 00
        Capabilities: [100] Virtual Channel
        Capabilities: [128] Power Budgeting <?>
        Capabilities: [600] Vendor Specific Information: ID=0001 Rev=1 Len=024 <?>
        Capabilities: [900] #19
        Kernel driver in use: nouveau

07:00.0 Network controller [0280]: Ralink corp. RT3290 Wireless 802.11n 1T/1R PCIe [1814:3290]
        Subsystem: Hewlett-Packard Company Ralink RT3290LE 802.11bgn 1x1 Wi-Fi and Bluetooth 4.0 Combo Adapter [103c:18ec]
        Flags: bus master, fast devsel, latency 0, IRQ 18
        Memory at d3610000 (32-bit, non-prefetchable) [size=64K]
        Capabilities: [40] Power Management version 3
        Capabilities: [50] MSI: Enable- Count=1/32 Maskable- 64bit+
        Capabilities: [70] Express Endpoint, MSI 00
        Capabilities: [100] Advanced Error Reporting
        Capabilities: [140] Device Serial Number 00-00-c7-c1-55-27-2d-14
        Kernel driver in use: rt2800pci

07:00.1 Bluetooth [0d11]: Ralink corp. RT3290 Bluetooth [1814:3298]
        Subsystem: Hewlett-Packard Company Ralink RT3290LE 802.11bgn 1x1 Wi-Fi and Bluetooth 4.0 Combo Adapter [103c:18ec]
        Flags: bus master, fast devsel, latency 0
        Memory at d3600000 (32-bit, non-prefetchable) [size=64K]
        Capabilities: [40] Power Management version 3
        Capabilities: [50] MSI: Enable- Count=1/32 Maskable- 64bit+
        Capabilities: [70] Express Endpoint, MSI 00
        Capabilities: [100] Advanced Error Reporting
        Capabilities: [140] Device Serial Number 00-00-c8-c1-55-27-2d-14

09:00.0 Unassigned class [ff00]: Realtek Semiconductor Co., Ltd. RTS5227 PCI Express Card Reader [10ec:5227] (rev 01)
        Subsystem: Hewlett-Packard Company Device [103c:1963]
        Flags: bus master, fast devsel, latency 0, IRQ 41
        Memory at d1000000 (32-bit, non-prefetchable) [size=4K]
        Capabilities: [40] Power Management version 3
        Capabilities: [50] MSI: Enable+ Count=1/1 Maskable- 64bit+
        Capabilities: [70] Express Endpoint, MSI 00
        Capabilities: [100] Advanced Error Reporting
        Capabilities: [140] Device Serial Number 00-00-00-01-00-4c-e0-00
        Capabilities: [150] Latency Tolerance Reporting
        Capabilities: [158] L1 PM Substates
        Kernel driver in use: rtsx_pci

0f:00.0 Ethernet controller [0200]: Realtek Semiconductor Co., Ltd. RTL8111/8168/8411 PCI Express Gigabit Ethernet Controller [10ec:8168] (rev 0c)
        Subsystem: Hewlett-Packard Company Device [103c:1963]
        Flags: bus master, fast devsel, latency 0, IRQ 42
        I/O ports at 3000 [size=256]
        Memory at d3500000 (64-bit, non-prefetchable) [size=4K]
        Memory at d3400000 (64-bit, prefetchable) [size=16K]
        Capabilities: [40] Power Management version 3
        Capabilities: [50] MSI: Enable+ Count=1/1 Maskable- 64bit+
        Capabilities: [70] Express Endpoint, MSI 01
        Capabilities: [b0] MSI-X: Enable- Count=4 Masked-
        Capabilities: [d0] Vital Product Data
        Capabilities: [100] Advanced Error Reporting
        Capabilities: [140] Virtual Channel
        Capabilities: [160] Device Serial Number 01-00-00-00-68-4c-e0-00
        Capabilities: [170] Latency Tolerance Reporting
        Kernel driver in use: r8169

lsusb

lsusb -v | grep -E '\<(Bus|iProduct|bDeviceClass|bDeviceProtocol)' 2>/dev/null

Bus 002 Device 002: ID 8087:8000 Intel Corp. 
  bDeviceClass            9 Hub
  bDeviceProtocol         1 Single TT
  iProduct                0 
  bDeviceClass            9 Hub
  bDeviceProtocol         0 Full speed (or root) hub
Bus 002 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub
  bDeviceClass            9 Hub
  bDeviceProtocol         0 Full speed (or root) hub
  iProduct                2 EHCI Host Controller
Bus 001 Device 002: ID 8087:8008 Intel Corp. 
  bDeviceClass            9 Hub
  bDeviceProtocol         1 Single TT
  iProduct                0 
  bDeviceClass            9 Hub
  bDeviceProtocol         0 Full speed (or root) hub
Bus 001 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub
  bDeviceClass            9 Hub
  bDeviceProtocol         0 Full speed (or root) hub
  iProduct                2 EHCI Host Controller
Bus 004 Device 001: ID 1d6b:0003 Linux Foundation 3.0 root hub
  bDeviceClass            9 Hub
  bDeviceProtocol         3 
  iProduct                2 xHCI Host Controller
Bus 003 Device 002: ID 05c8:036d Cheng Uei Precision Industry Co., Ltd (Foxlink) 
  bDeviceClass          239 Miscellaneous Device
  bDeviceProtocol         1 Interface Association
  iProduct                2 HP Truevision HD
      (Bus Powered)
  bDeviceClass          239 Miscellaneous Device
  bDeviceProtocol         1 Interface Association
  (Bus Powered)
Bus 003 Device 003: ID 138a:0050 Validity Sensors, Inc. 
  bDeviceClass          255 Vendor Specific Class
  bDeviceProtocol       255 
  iProduct                0 
      (Bus Powered)
  (Bus Powered)
Bus 003 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub
  bDeviceClass            9 Hub
  bDeviceProtocol         1 Single TT
  iProduct                2 xHCI Host Controller

USB Host controllers entries (without OHCI, UHCI, EHCI) are removed too.

Resources

Attachments

Some configuration files and sample outputs.

Useful Links

Credits

?MoseGiordano
answer on Superuser.com explaining how to install Debian Jessie on a system with UEFI.

CategoryLaptopComputer

Refer to Debian Bug 717687 for a brief explanation. (1)
I cannot ensure this is the right configuration for this laptop as I reported instructions for other HP Envy devices, but the result is definitely better than the default audio. Anyway, after some trial-and-error tests, enabling one pin at a time, I am reasonably sure that the above configuration is adequate for this device. (2)
See also Microcode. (3)
See also rt3290. (4)

InstallingDebianOnHPEnvy 15-j104sl