software/bios/boot/sdcardboot: let FatFs do the SDCard initialization with disk_initialize.

This commit is contained in:
Florent Kermarrec 2020-06-11 08:33:56 +02:00
parent 5197600812
commit d918c0bb99
1 changed files with 2 additions and 11 deletions

View File

@ -601,21 +601,12 @@ void sdcardboot(void)
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)