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

[ATTACH]

Boot Standard Kernel:

{OK}

EFI Boot

{OK}

LAN network card:

{OK}

Detect CD/DVD:

[-]

Detect hard drives:

{OK}

Extra Features

CPU Frequency Scaling

{OK}

Hibernation

{OK}

Sleep / Suspend

{OK}

Xorg

{i}

- OpenGL

{OK}

- Resize-and-Rotate(randr)

{OK}

Switch to External Screen

- VGA

{OK}

- DisplayPort

{OK}

Mouse

- Built-in (Trackpoint)

{OK}

- Built-in (Touchpad)

{OK}

Modem

[-]

Wireless/Wifi

{i} X-(

Bluetooth

{i} X-(

Keyboard's Hotkeys

{OK}

SD Card Reader

{OK}

SmartCard Reader

{i}

Fingerprint Reader

[?]

Webcam

{OK}

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

Configuration

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 LinuxHint.com:

LinuxHint.com - How to Enable Non-Free Packages on Debian 11

Then did:

apt update

and:

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

lspci -vnn

lsusb

}}}

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

Resources


CategoryLaptopComputer