HP6100 Wireless card type?

[Gordon Grant]

Hi

I've got a just-purchased HP6100 notebook with a built-in "HP Wireless 
card".  I know it is Mini-PCI based but have been unable to find out any 
more detail about it's type.

Does anyone know what wireless card type these notebooks ship with?

Here's relevant(?) output from /proc/pci.  The Intel controller is the 
built-in eth0. I'm not even sure if it will show up here.

I'm running kernel 2.4.18, debian Woody.

Regards
Gordon Grant

# cat /proc/pci

[snip]
 Bus  2, device   2, function  0:
    Communication controller: PCI device 10b7:1007 (3Com Corporation) 
(rev 0).
      IRQ 10.
      Prefetchable 32 bit memory at 0xf0019000 [0xf001903f].
      Prefetchable 32 bit memory at 0xf0000000 [0xf000ffff].
      Prefetchable 32 bit memory at 0xf0010000 [0xf0017fff].
      I/O at 0x3400 [0x343f].
[snip]
Bus  2, device   4, function  0:
    Network controller: PCI device 1260:3873 (Harris Semiconductor) (rev 1).
      IRQ 10.
      Master Capable.  Latency=64. 
      Prefetchable 32 bit memory at 0xf0018000 [0xf0018fff].
      Master Capable.  Latency=64. 
      Prefetchable 32 bit memory at 0xf0018000 [0xf0018fff].
[snip]
Bus  2, device   8, function  0:
    Ethernet controller: Intel Corp. 82801CAM (ICH3) Chipset Ethernet 
Controller
 (rev 65).
      IRQ 10.
      Master Capable.  Latency=66.  Min Gnt=8.Max Lat=56.
      Non-prefetchable 32 bit memory at 0xd0200000 [0xd0200fff].
      I/O at 0x3440 [0x347f].
  Bus  7, device   0, function  0:
    Ethernet controller:  (rev 1).
      IRQ 10.
      Master Capable.  Latency=64.  Min Gnt=10.Max Lat=5.