* HP Compaq 6710b
Doesn't boot with generic kernel due to [problems with USB](http://leaf.dragonflybsd.org/mailarchive/kernel/2007-11/msg00034.html). Boots when USB (uhci) is deactived from the kernel.
+* HP Pavilion dv7t-3000
+The kernel boots from the CD and the USB flash drive, but does not attach either the boot medium or the hard drive, so it cannot mount the root filesystem. The problem is due to interrupt routing.
+
* HP Probook 6550b - LAN & WLAN not supported