Vincenzo:
My comment was probably unclear about what I wanted you to do. Following the steps below should work. Please execute these commands in sequence:
sudo modprobe sdhci sudo modprobe mmc_block sudo modprobe -r tifm_sd sudo setpci -s 03:0b.2 4c.b=0x02
*then* insert a SD card into the MMC reader. On insertion of the SD card you should get a /dev/mmcblk0. You should also see some information in the dmesg log after insertion of the card.
Vincenzo:
My comment was probably unclear about what I wanted you to do. Following the steps below should work. Please execute these commands in sequence:
sudo modprobe sdhci
sudo modprobe mmc_block
sudo modprobe -r tifm_sd
sudo setpci -s 03:0b.2 4c.b=0x02
*then* insert a SD card into the MMC reader. On insertion of the SD card you should get a /dev/mmcblk0. You should also see some information in the dmesg log after insertion of the card.