Andrew, I tried your solution (setpci + using 'sdhci' module), but it didn't work.
I entered the setpci command with the correct address, modprobed sdhci, and then inserted the SD card, but nothing happened. 'dmesg' does not show any information about the SD card, it seems like it was't inserted. Anything else I could try besides recompiling the module? PS: Can I reverse the setpci command? I mean, typing something to use tifm again instead of sdhci? Thanks -- tifm: Texas Instruments Card reader not working https://bugs.launchpad.net/bugs/53923 You received this bug notification because you are a member of Ubuntu Bugs, which is the bug contact for Ubuntu. -- ubuntu-bugs mailing list [EMAIL PROTECTED] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs