Linux on HP Envy 4t-1030US


(Pictured, Mikuru; name source: Haruhi Suzumiya anime series)
HP Envy 4t UltrabookTM
Work in progress. Post any suggestions here.
This page is a work in progress. This describes the issues I've had while trying to run Gentoo Linux on the Ultrabook. Some sparse Gentoo specific information is located at the bottom of this page.

This machine theoretically should have all hardware supported by Linux though it's a fairly new machine to the market. As this is an "Ultrabook" and there's no option for having only an SSD installed, this machine has Intel Smart Response Technology. Unfortunately though the hardware is supported, the software is not. I had to remove SRT and install a full SSD into the machine. I currently use a 128GB Crucial M4 SSD.


The machine uses Intel HD Audio hardware, which Alsa uses the snd_intelhd driver. It works out of the box.


Realtek RTL8111/8168B Gigabit Ethernet (r8169) - Ethernet is a Realtek 8169 derivative Gigabit Ethernet using using the r8169 driver. Modern Linux should support this out of the box.


My machine has the Intel's Centrino 802.11b/g/n internal wireless card. The in-kernel drivers work (iwlagn - Intel Wire Less A/G/N?) driver works with it. With Gentoo I still needed to grab and put iwlwifi-2030-6.ucode into /lib/firmware for it to work. It should be in sys-kernel/linux-firmware (but not sys-firmware/iwl5000-ucode ?)...


The Alps touchpad pointer appears as a regular PS/2 device and is synaptics compliant. It has two buttons that are embedded within the touch surface. You can't do Emulate3Buttons and I have yet to find a way to use the middle button click. It supports two-finger scrolling.


My HP Envy4t has CPU graphics. It has an Intel Core i5-3317U Ivybridge CPU/GPU attached to a 16x9 14.1" 1366x768 SXGA+ display, which is supported by the opensource drivers in X.Org's X11 drivers. It worked pretty flawlessly once the correct kernel was installed, except the problem of the screen being blacked out (backlight fails to turn on) during boot. This is most likely due to a firmware issue. A Fn-F3 will brighten the blacked out display. Multiple bugs were submitted to freedesktop to track them, but it's trending towards a firmware bug that needs to be worked around. Multiple HP laptops have the exact same issue.

The workaround I accidently found while trying to learn about the issue is to put a 1ms or so delay in the screen brightness routines. The 43577 bug on freedesktop has the location I found to make this problem "go away" so that I can see the bootup sequence without touching Fn-F3 immediately after the screen goes dark.

Another workaround is to specify that it should not trust BIOS brightness.

Power Saving

The Envy 4t has ACPI hardware and this should be enabled in the kernel config. It does support speedstep and will change CPU frequency on the fly.
I have not been able to get it reliably S3 suspend, it seems to want to do a hybrid suspend somehow (ACPI?). S4 is also somewhat broken. Still trying to figure out why.

CPU1.7 GHz Core i5-3317U (dual core, dual thread,
Intel Core-i5 3rd generation,
ULV (17W TDP), turboboost to 2.6GHz)
ChipsetHM77 Panther Point Mobile chipset
Memory 4096MB
Expandable to 16GB (2x8192MB)
FSB Speed?MHz - N/A
Hard Drive128GB Crucial M4 7mm 2.5" SDD
Display14.1" 1366x768 glossy, Active Matrix LCD, TN
Seems visible even in bright sunlight
Video and DRIIntel Ivybridge
supports Direct Renderring Infrastructure
Realtek rtl8169
SoundTwo speakers, Intel HD audio compliant plus "subwoofer??", Beats Audio (not used in Linux...)
PortsHDMI out,
2 USB3 Type A socket, 1 USB2
WirelessIntel Centrino 2230 b/g/n
Keyboard? Key chicklet, backlit
PointerSynaptics PS/2 touchpad
Battery4-cell Lithium Ion Polymer Flat Pack
48Wh capacity
Battery LifeEst. 5:30 to 6:00, 3 hr under heavy load
Size19mm thick
Weight3.98 lbs
Other Hardware Intel Bluetooth adaptor (btusb, in kernel)
HP Truevision HD/Sunplus Innovation 1280x720 webcam (uvcvision, in kernel)
Realtek/HP SD card reader (rts_bpp) - need to download separate driver, OSS, should be integrated into kernel sometime In Linux 3.8.13 using the rtsx_pci driver.
HP Accelerometer (lis3lv02d/hp_accel, in kernel) i2c /sys/devices/platform/lis3lv02d
Software IncludedWindows 7 Home Premium
other drivers stuff...

Gentoo Linux

Here's what I use in my /etc/portage/package.keywords