The problem is, the PCMCIA controller is only supported in the very newest release of the Linux PCMCIA tools package, and I haven't seen any installer that makes use of it.
This means that I either need to find myself a Linux CD, or I need to find an Internet connection I can use via the Mini-PCI Ethernet card, as opposed to the PCMCIA Token Ring card I need to make use of work's connection.
