In order to boot an Operating system from one of the three SDIO interfaces from a SD Card, the BIOS has to support it.
The current BIOS that comes on the Robin and Woodpecker doesn't support it.
Toradex may equip their X86 products with a BIOS that supports SD booting in the future.
