In the meantime, I could make the TI SD reader works following th instructions here: http://www.ubuntuforums.org/showthread.php?t=315497
in particular, I had to run the following command from Konsole: sudo setpci -s nn:nn.n 4c.b=0x02 (of course I had to replace the "n" with the device number visible from "lspci" ) -- laptop memory card reader https://launchpad.net/bugs/86070 -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
