I haven’t seen this question pop up before, but maybe it could be useful for everyone. Are SDIO devices supported over the SD socket? Has anyone actually tested this? Which versions does the host controller (and the bus driver) support? Do any restrictions apply? Eg. have to power down the on-board wifi module, etc. Your help is very much appreciated.