What's the current state of PCMCIA support?

I'm asking because there's this laptop onto which we'd like to install
a system, but it'd be a _lot_ faster to suck it over ethernet than to
sneakernet floppies.  And its only Ethernet is a PCMCIA card.  The
install floppy boots fine, but doesn't detect the network; the only
lines in the device probe output I don't understand are pchb0 and npx0,
whatever they are.  And ifconfig -a shows just lo0, sl0, and sl1.

I suppose we could SLIP to something else....

					der Mouse

			       mouse@rodents.montreal.qc.ca
		     7D C8 61 52 5D E7 2D 39  4E F1 31 3E E8 B3 27 4B