I believe that HP initially used Debian as its Linux. The link to debian ports is : http://www.debian.org/ports/index#released Look at http://www.gag.com/~bdale. Bdale Garbee is HP's chief Linux Technology Person and is active in the Debian community. He may be of help.