Since the PicoZed-SDR Development Kit (2x2) only ships with 1 micro SD card (with adapter) I have bought another plain SD card to use in parallel on the baseboard.
I bought a SanDisk SDHC-I 8Gb (Class 10) card but it does not want to boot. I compared it to the one shipped with the kit (Delkin Devices SDHC-I Class 1) and wondering if the speed marking is the issue...
That said, according to https://www.sdcard.org/developers/overview/speed_class/ it seems like the serial data rate is the same for those two.
Any suggestions would be appreciated on which cards are recommended for the kit's baseboard.