bios/boot.c: cosmetic: re-indent spisdcardboot() for consistency

diff --git a/litex/soc/software/bios/boot.c b/litex/soc/software/bios/boot.c
index 4cf698cf4047c4a3db6d965e6e079d74d21f14fa..b132a8126dc8fe2c474b5a2925992ac0e5837d69 100644 (file)
--- a/litex/soc/software/bios/boot.c
+++ b/litex/soc/software/bios/boot.c
@@ -494,22 +494,22 @@ void romboot(void)
 
 void spisdcardboot(void)
 {
-    printf("SD Card via SPI Initialising\n");
-    if(spi_sdcard_goidle() == 0) {
-        printf("SD Card Timeout\n");
-        return;
-    }
-    
-    if(spi_sdcard_readMBR() == 0) {
-        printf("SD Card MBR Timeout\n");
-        return;
-    }
-    
-    if(spi_sdcard_readFile("IMAGE","",MAIN_RAM_BASE+KERNEL_IMAGE_RAM_OFFSET)==0) return;
-    if(spi_sdcard_readFile("ROOTFS~1","CPI",MAIN_RAM_BASE+ROOTFS_IMAGE_RAM_OFFSET)==0) return;
-    if(spi_sdcard_readFile("RV32","DTB",MAIN_RAM_BASE+DEVICE_TREE_IMAGE_RAM_OFFSET)==0) return;
-    if(spi_sdcard_readFile("EMULATOR","BIN",EMULATOR_RAM_BASE)==0) return;
-    
-    boot(0,0,0,EMULATOR_RAM_BASE + EMULATOR_IMAGE_RAM_OFFSET);
+       printf("SD Card via SPI Initialising\n");
+       if(spi_sdcard_goidle() == 0) {
+               printf("SD Card Timeout\n");
+               return;
+       }
+
+       if(spi_sdcard_readMBR() == 0) {
+               printf("SD Card MBR Timeout\n");
+               return;
+       }
+
+       if(spi_sdcard_readFile("IMAGE","",MAIN_RAM_BASE+KERNEL_IMAGE_RAM_OFFSET)==0) return;
+       if(spi_sdcard_readFile("ROOTFS~1","CPI",MAIN_RAM_BASE+ROOTFS_IMAGE_RAM_OFFSET)==0) return;
+       if(spi_sdcard_readFile("RV32","DTB",MAIN_RAM_BASE+DEVICE_TREE_IMAGE_RAM_OFFSET)==0) return;
+       if(spi_sdcard_readFile("EMULATOR","BIN",EMULATOR_RAM_BASE)==0) return;
+
+       boot(0,0,0,EMULATOR_RAM_BASE + EMULATOR_IMAGE_RAM_OFFSET);
 }
 #endif