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 Notebook

Debian version tested
Stretch 9.3 (stable) AMD64 - GNU/Linux

Sub-models (15 as008nf) options :
- Processor : Intel® Core™ i7-6560U CPU @ 2.20GHz × 4
- Video card : Intel® Iris Graphics 540 (Skylake GT3e)
- Screen size : 15.6" 1920x1080 16:9
- Wireless card : Intel Wireless 7265 NGW (driver D version)
- Disk 1 : Samsung NVMe SSD 256Gb
- Disk 2 : WDC_WD10SPCX 1Tb
- RAM size : 8Gb
- Audio Card : Intel Sunrise Point-LP HD Audio
- Audio speakers Bang & Olufsen
- 3 USB ports
- 1 HDMI port
- SD card reader

Despite the same commercial name HP Envy 15, this model 15as008nf have a lot of differences with the j104sl already reported in this wiki

Overall Status

Core Components

[ATTACH]

Boot Standard Kernel:

{OK}

LAN network card:

{OK}

Detect CD/DVD:

[-]

Detect hard drives:

{i}

Extra Features

CPU Frequency Scaling

[?]

Hibernation

[?]

Sleep / Suspend

[?]

Xorg

[?]

- OpenGL

[?]

- Resize-and-Rotate(randr)

[?]

Switch to External Screen

[?]

Mouse

- Built-in (Trackpoint)

[?]

- Built-in (Touchpad)

{OK}

Modem

[?]

Wireless/Wifi

X-(

Keyboard's Hotkeys

[?]

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

Important Note

1 - HP provide support only for Windows 10 and 7 from their support page X-(

2 - /!\ UPGRADE BIOS to the newest version before installing Debian (or any other distribution) - from windows (found on HP support) or from HP Utility (again to install on USB from windows ...) Check BIOS version in BIOS menu pressing F10 at startup
HP support for this model 15 as008nf The machine I bought was shipped with a revision F08 of the BIOS which made me scratched (and eventually banged) my head for month before being able to install any distribution of GNU/Linux on the internal SSD NVMe drive. The NVMe disk was randomly not recognized at startup, leading to no boot device error when grub was installed on it or to not being able to access it as secondary disk (I finally thought it was dead).

3 - If you want to boot from primary NVMe drive, note that grub should be installed in EFI mode as BIOS mode may lead to boot issues.

4 - Disable Secure Boot as it is default option and not yet supported by Debian F10 to enter BIOS

Installation notes

1 - Create a Debian USB boot drive from windows, if you only have this laptop in hands, with Rufus for example. And refer to Wifi Note before removing windows.

2 - Press F9 to select boot option and select your drive

3 - I recommend avoiding graphical install to be able to access console (to mount pen drive to /lib/firmware for example)

4 - Be careful when using automatic partitioning by Debian installer on 256Gb NVMe drive as it will create a 250Mb /boot partition only, think of purging old kernels or by manually allocating more space to /boot partition

Configuration

Display

Audio

Mouse

No tapping after install, I have not been able yet to configure libinput for the pad to allow tapping

Power Management

Good power management, battery charge, charge display.

A couple of errors are displayed in journal by Kernel related to ACPI, which in my experience didn't lead to any issue (probably due to this BIOS which expect windows) :

kernel: platform MSFT0101:00: failed to claim resource 1
kernel: acpi MSFT0101:00: platform device creation failed: -16

then

ACPI Error: [\_SB_.PCI0.LPCB.H_EC.LHT_] Namespace lookup failure, AE_NOT_FOUND (20160831/psargs-359)
kernel: ACPI Error: Method parse/execution failed [\_TZ.TZ02._HOT] (Node ffff8895a624a618), AE_NOT_FOUND (20160831/psparse-543)
kernel: ACPI Error: [\_SB_.PCI0.LPCB.H_EC.LHT_] Namespace lookup failure, AE_NOT_FOUND (20160831/psargs-359)
kernel: ACPI Error: Method parse/execution failed [\_TZ.TZ02._HOT] (Node ffff8895a624a618), AE_NOT_FOUND (20160831/psparse-543)

then

ACPI Error: [\_SB_.PCI0.LPCB.H_EC.ECAV] Namespace lookup failure, AE_NOT_FOUND (20160831/psargs-359)
kernel: ACPI Error: Method parse/execution failed [\_SB.PCI0.B0D4._TMP] (Node ffff8895a623a000), AE_NOT_FOUND (20160831/psparse-543)

WiFi

X-( The Intel Wireless 7265 shipped with this model won't work unless you provide non-free firmwares iwlwifi-7265D

You can find these firmwares either in :
* Non-free Debian install
* Or in the package firmware-iwlwifi.deb
* Or in the Kernel Page as ucode files to put at the root of a pen drive at the time of install

Note 1a : The most recent firmware seems to be version 22 (iwlwifi-7265D-22.ucode), while Debian install (Kernel ?) will ask for versions from 16 to 26 As I don't like to see error messages at startup, I symlinked the 23, 24, 25, 26 versions to the 22.

Note 1b : For the one who wonder, version 23, 24, 25 and 26 are noted as internal released and seem not to have been released for public.

Note 2 : At the time I am writing, the firmware provided by Intel at "Linux* Support for Intel® Wireless Adapters" page are not up to date (version 14) and are not accepted by the Kernel

Modem


System Summary

lspci

00:00.0 Host bridge [0600]: Intel Corporation Skylake Host Bridge/DRAM Registers [8086:1904] (rev 09)
00:02.0 VGA compatible controller [0300]: Intel Corporation Iris Graphics 540 [8086:1926] (rev 0a)
00:04.0 Signal processing controller [1180]: Intel Corporation Skylake Processor Thermal Subsystem [8086:1903] (rev 09)
00:08.0 System peripheral [0880]: Intel Corporation Skylake Gaussian Mixture Model [8086:1911]
00:14.0 USB controller [0c03]: Intel Corporation Sunrise Point-LP USB 3.0 xHCI Controller [8086:9d2f] (rev 21)
00:14.2 Signal processing controller [1180]: Intel Corporation Sunrise Point-LP Thermal subsystem [8086:9d31] (rev 21)
00:15.0 Signal processing controller [1180]: Intel Corporation Sunrise Point-LP Serial IO I2C Controller #0 [8086:9d60] (rev 21)
00:15.1 Signal processing controller [1180]: Intel Corporation Sunrise Point-LP Serial IO I2C Controller #1 [8086:9d61] (rev 21)
00:16.0 Communication controller [0780]: Intel Corporation Sunrise Point-LP CSME HECI #1 [8086:9d3a] (rev 21)
00:17.0 SATA controller [0106]: Intel Corporation Sunrise Point-LP SATA Controller [AHCI mode] [8086:9d03] (rev 21)
00:1c.0 PCI bridge [0604]: Intel Corporation Device [8086:9d12] (rev f1)
00:1c.4 PCI bridge [0604]: Intel Corporation Sunrise Point-LP PCI Express Root Port #5 [8086:9d14] (rev f1)
00:1d.0 PCI bridge [0604]: Intel Corporation Sunrise Point-LP PCI Express Root Port #9 [8086:9d18] (rev f1)
00:1f.0 ISA bridge [0601]: Intel Corporation Sunrise Point-LP LPC Controller [8086:9d48] (rev 21)
00:1f.2 Memory controller [0580]: Intel Corporation Sunrise Point-LP PMC [8086:9d21] (rev 21)
00:1f.3 Audio device [0403]: Intel Corporation Sunrise Point-LP HD Audio [8086:9d70] (rev 21)
00:1f.4 SMBus [0c05]: Intel Corporation Sunrise Point-LP SMBus [8086:9d23] (rev 21)
01:00.0 Network controller [0280]: Intel Corporation Wireless 7265 [8086:095a] (rev 61)
02:00.0 Unassigned class [ff00]: Realtek Semiconductor Co., Ltd. RTS522A PCI Express Card Reader [10ec:522a] (rev 01)
08:00.0 Non-Volatile memory controller [0108]: Samsung Electronics Co Ltd NVMe SSD Controller [144d:a802] (rev 01)

lsusb

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

Bus 002 Device 001: ID 1d6b:0003 Linux Foundation 3.0 root hub
Couldn't open device, some information will be missing
  bDeviceClass            9 Hub
  bDeviceProtocol         3 
  iProduct                2 
Bus 001 Device 003: ID 8087:0a2a Intel Corp. 
  bDeviceClass          224 Wireless
  bDeviceProtocol         1 Bluetooth
  iProduct                0 
Bus 001 Device 002: ID 05c8:038e Cheng Uei Precision Industry Co., Ltd (Foxlink) 
  bDeviceClass          239 Miscellaneous Device
  bDeviceProtocol         1 Interface Association
  iProduct                1 
      (Bus Powered)
Bus 001 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub
  bDeviceClass            9 Hub
  bDeviceProtocol         1 Single TT
  iProduct                2