Does anyone have a Linux supported PCMCIA ethernet card available for sale, trade, or donation? Thanks Luke