Gentoo Wiki


This article is part of the Hardware series.
Laptops TV Tuner Cards Wireless Servers Storage Other Hardware Motherboards Related



CFLAGS="-O2 -march=pentium-m -pipe -fomit-frame-pointer"


I would recommend to always use the latest ~x86 kernel-source available, since linux support for nx9420 is getting better with every kernel version.

The "Bad State" ACPI problem

Note: Since the latest BIOS Release (F.19), this problem seems to be fixed, but another one was introduced (probably it already existed in F.17/F.18): The special keys aren't recognized any more. They're just dead.
Note: Actually, looks like the bad state problem is not only still there, but it's even worse. I have the F.19 BIOS and get into the "Bad State" ACPI problem after I put my ATI radeon card into powerstate 1 (to save energy). After that, no matter what I do with psmouse, I get into "Bad State" after reboot. When I boot Linux in "Bad State" I get terribly long delays on every ACPI subsystem access (also when the kernel itself boots); sometimes I can't power on the laptop (only the "charging" LED is lit, power button does nothing); so I need to remove the battery. Sometimes (as with the "charging" LED problem) I have to remove the battery for a few minutes.

Like other HP notebooks the nx9420 suffer from the "bad state" ACPI bug. It occures when psmouse is still loaded when the kernel shuts the notebook down and causes BIOS to take up to 30s for booting.


Linux Kernel Configuration: PS/2 Mouse

Device Drivers > Input device support > Mouse: Code:

   <M> PS/2 mouse
rmmod psmouse


Linux Kernel Configuration: High Definition Audio

Device Drivers > Sound > Advanced Linux Sound Architecture > PCI devices: Code:

   <M> Intel HD Audio

The module gets loaded automatically at boot by coldplug.


To get the native display resolution of 1440x900 you need to install proprietary graphics drivers from Ati. Using an external display properly is quite tricky. Writing "1440x900" and "1280x1024" in one "Modes" line does not work for some reason. The only solution that worked for me was switching xorg.conf-files via script.

If you get errors like this in /var/log/Xorg.0.log and X doesn't want to start, try disabling framebuffer (CONFIG_FB) in the kernel.

 (II) fglrx(0):  SAMSUNG
 (II) fglrx(0):  LTN154P1-L02
 (II) fglrx(0): End of Display1 EDID data --------------------
 (EE) fglrx(0): PreInitDAL failed
 (EE) fglrx(0): PreInit failed
 (II) fglrx(0): === [atiddxPreInit] === end

There is also a bugreport at the unofficial ATI bugzilla:


see Synaptics Touchpad


See this guide.


Linux Kernel Configuration: Tigon3

(Device Drivers > Network device support > Ethernet (1000 Mbit) : Code:

   <*> Broadcom Tigon3 support

ifplugd (and netplug) works fine with it.

CPU Frequency Scaling

See Gentoo on laptops#CPU frequency scaling.

Choose Intel Enhanced SpeedStep.

If you want to use ondemand governor do the following:

cpufreq-set -g ondemand -c 0
cpufreq-set -g ondemand -c 1
echo 10 > /sys/devices/system/cpu/cpu0/cpufreq/ondemand/sampling_down_factor
echo 10 > /sys/devices/system/cpu/cpu1/cpufreq/ondemand/sampling_down_factor

Attention: Beware of BIOS version F.12 as frequency scaling does not work with it! Use F.11 or lower. Since release F.17 frequency scaling is provided again, but only using the following workaround in /etc/conf.d/local.start the full scale is used. Otherwise the last frequency range isn't available.

for CPU in /sys/devices/system/cpu/cpu*;
	einfo "Setting maximum frequency for $(echo "${CPU}" | cut -d\/ -f6)";
	MAXFREQ="$(cut -d' ' -f1 ${CPU}/cpufreq/scaling_available_frequencies)"
	echo "${MAXFREQ}" > ${CPU}/cpufreq/scaling_max_freq




Not tested yet, but [1] might help.

PC Card

See this guide.

Vanderpool (VT)

If you want to use Xen to run unmodified guests (like Windows), you should use BIOS F.19 or later, because in <F.19 this feature was locked by HP.


Retrieved from ""

Last modified: Thu, 14 Aug 2008 02:33:00 +0000 Hits: 12,037