Looking for Linux drivers for SDIO cards? There is almost nothing available yet. But here are at least some pointers.