K 10
svn:author
V 7
n_hibma
K 8
svn:date
V 27
2000-03-18T19:18:36.000000Z
K 7
svn:log
V 142
Print the PCI resources even if they are disabled. This shows more clearly
when the BIOS is forgetful about initialising the USB controllers.

END