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
EliteBook 840 G3

Sub-model options:

Overall Status

Core Components


Boot Standard Kernel:


EFI Boot


LAN network card:


Detect CD/DVD:


Detect hard drives:


Extra Features

CPU Frequency Scaling




Sleep / Suspend




- OpenGL


- Resize-and-Rotate(randr)


Switch to External Screen



- DisplayPort



- Built-in (Trackpoint)


- Built-in (Touchpad)





{i} X-(


{i} X-(

Keyboard's Hotkeys


SD Card Reader


SmartCard Reader


Fingerprint Reader




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


The intel card do not works with the jessie kernel and driver, you need to use the backports:

apt -t jessie-backports install linux-image-amd64 xserver-xorg-intel

Brightness keys doesn't work out of the box.

Power Management

Works out of the box. Battery life is somewhat longer with intel-microcode (Microcode).

SmartCard Reader

Install pcscd

WiFi & Bluetooth

2022-03-08: Installed Debian GNU/Linux 11 (bullseye) on HP EliteBook 840 G3. Skipped the firmware not found for the WiFi screen in the install, and used a wired connection instead. Then added contrib and non-free to /etc/apt/sources.lst as talked about in this article on - How to Enable Non-Free Packages on Debian 11

Then did:

apt update


apt install firmware-iwlwifi

Debian -- Details of package firmware-iwlwifi in bullseye

Previous user's experience below:

As of 2017-04-03, you need the kernel and firmware-iwlwifi from backports in order to use the wireless + bluetooth card :

apt -t jessie-backports install firmware-iwlwifi

If the wifi is not working, you may want to let Network-manager manage the ethernet connexion, by commenting in /etc/network/interfaces these lines:

# allow-hotplug eth0
# iface eth0 inet dhcp

System Summary


lspci -vnn



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