I've looked through the available documentation available at http://thepuffingroup.com/parisc/documentation.html and see nothing related to the 9000/800 H60. Am I wrong? Would it be useful in developing the HP9K kernel?