I am having trouble flashing a TK1 image on an Ixora board using the procedure: http://developer.toradex.com/knowledge-base/flashing-linux-on-tegra-modules
When I run setupdate, I get:
Apalis TK1 # run setupdate MMC: no card present ** Bad device mmc 1 ** Card did not respond to voltage select! ** Bad device mmc 2 **
The booloader for the TK1 is version U-Boot 2015.04 (Jun 28 2016 - 12:50:18)
Following the same procedure, I’ve successfully flashed a T30, using the same same SD card and the same Ixora carrier.