Then please prefix them with "0x" to make it clear that those are numbers.
Given that the PCI bus has interrupt lines called A-D, seeing "IRQ b" for
the first time left me with that very uncomfortable feeling that I now
also have to figure out what the BIOS maps those physical lines to ...
- Werner
-- _________________________________________________________________________ / Werner Almesberger, DI-LRC,EPFL,CH werner.almesberger@lrc.di.epfl.ch / /_IN_R_133__Tel_+41_21_693_6621__Fax_+41_21_693_6610_____________________/