uint32_t result;
- printf("Booting from SDCard...\n");
-
- /* Initialize SDCard */
#ifdef CSR_SPISDCARD_BASE
- printf("Initializing SDCard in SPI-Mode...\n");
- result = spisdcard_init();
+ printf("Booting from SDCard in SPI-Mode...\n");
#endif
#ifdef CSR_SDCORE_BASE
- printf("Initializing SDCard in SD-Mode...\n");
- result = sdcard_init();
+ printf("Booting from SDCard in SD-Mode...\n");
#endif
- if (result == 0) {
- printf("SDCard initialization failed.\n");
- return;
- }
/* Copy files to RAM */
#if defined(CONFIG_CPU_TYPE_VEXRISCV) && defined(CONFIG_CPU_VARIANT_LINUX)