bios/main: enable sdcardboot in boot_sequence with litesdcard.
authorFlorent Kermarrec <florent@enjoy-digital.fr>
Mon, 22 Jun 2020 19:57:00 +0000 (21:57 +0200)
committerFlorent Kermarrec <florent@enjoy-digital.fr>
Mon, 22 Jun 2020 19:57:00 +0000 (21:57 +0200)
litex/soc/software/bios/main.c

index dd0989abf3fbfc6b033220f24881312a1cac5786..b1c57e93fb7c21731d2ae097236a6c3aad42c45b 100644 (file)
@@ -55,8 +55,7 @@ static void boot_sequence(void)
 #ifdef ROM_BOOT_ADDRESS
                romboot();
 #endif
-//#if defined(CSR_SPISDCARD_BASE) || defined(CSR_SDCORE_BASE)
-#if defined(CSR_SPISDCARD_BASE) // FIXME
+#if defined(CSR_SPISDCARD_BASE) || defined(CSR_SDCORE_BASE)
                sdcardboot();
 #endif
 #ifdef CSR_ETHMAC_BASE