No answer, :-( No answer since nobody knows what the answer is, you will need to have to do some hacking on your own. Try checking the obvious if the PCI ID's exist for your card in GNU Mach, and if they do not, try adding them. Sorry, you are on your own unless you send your NIC to someone and pay them to port the driver.