Does anyone know if NetBSD has a driver for Ricoh SD-card interfaces? I have an asus laptop here where they show up as: pcmcia0 function 0: <RICOH, Bay1Controller> (manufacturer 0x0000, product 0x0000) not configured pcmcia0 function 0: <RICOH, Bay1Controller> (manufacturer 0x0000, product 0x0000) not configured