I'm working on an imx6ull (at the moment, I'm on the evk, as a prototype) and I need an extra micro SD for storage. I was suggested to use an SDIO multiplexer (like ON Semiconductor FSSD06-d), and I should need to control OE & SEL pin to switch SD/SDIO bus, without any extra driver.
Did anyone use this method before? If yes, do I need to write a script to control manually the pin? or Linux is capable to do it itself with a specific kernel (dts) configuration?