Kernel Debugging Guide

should subscribe to the appropriate product support service. See your HP sales representative
for details.
Publication DateSupported Products
(Servers)
Supported Smart
Setup Version
Supported Operating
Systems
Manufacturing Part
Number
August, 2010BL860c
BL870c
BL860c i2
BL870c i2
BL890c i2
rx2660
rx3600
rx6600
rx7640
rx8640
Superdome sx2000
Version 7.0Microsoft Windows
Server 2008 with
Service Pack 2 (SP2)
for Itanium-based
Systems
Microsoft Windows
Server 2008 R2
Itanium Edition
T8704–96000
May, 2011BL860c
BL870c
BL860c i2
BL870c i2
BL890c i2
rx2800 i2
rx2660
rx3600
rx6600
rx7640
rx8640
Superdome sx2000
Version 7.1Microsoft Windows
Server 2008 with
Service Pack 2 (SP2)
for Itanium-based
Systems
Microsoft Windows
Server 2008 R2 with
Service Pack 1 (SP1)
Itanium Edition
T8704–96010
HP Encourages Your Comments
HP encourages your comments concerning this document. We are committed to providing
documentation that meets your needs. Send any errors found, suggestions for improvement, or
compliments to:
[e-mail]
Please include the document title, manufacturing part number, and any comment, error found,
or suggestion for improvement you have concerning this document.
HP Encourages Your Comments 9