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

This commit is contained in:
Gabriel Somlo 2020-03-19 19:24:22 -04:00
parent dd07a0ad2f
commit c2938dc973
1 changed files with 17 additions and 17 deletions

View File

@ -494,22 +494,22 @@ void romboot(void)
void spisdcardboot(void) void spisdcardboot(void)
{ {
printf("SD Card via SPI Initialising\n"); printf("SD Card via SPI Initialising\n");
if(spi_sdcard_goidle() == 0) { if(spi_sdcard_goidle() == 0) {
printf("SD Card Timeout\n"); printf("SD Card Timeout\n");
return; return;
} }
if(spi_sdcard_readMBR() == 0) { if(spi_sdcard_readMBR() == 0) {
printf("SD Card MBR Timeout\n"); printf("SD Card MBR Timeout\n");
return; return;
} }
if(spi_sdcard_readFile("IMAGE","",MAIN_RAM_BASE+KERNEL_IMAGE_RAM_OFFSET)==0) 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("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("RV32","DTB",MAIN_RAM_BASE+DEVICE_TREE_IMAGE_RAM_OFFSET)==0) return;
if(spi_sdcard_readFile("EMULATOR","BIN",EMULATOR_RAM_BASE)==0) return; if(spi_sdcard_readFile("EMULATOR","BIN",EMULATOR_RAM_BASE)==0) return;
boot(0,0,0,EMULATOR_RAM_BASE + EMULATOR_IMAGE_RAM_OFFSET); boot(0,0,0,EMULATOR_RAM_BASE + EMULATOR_IMAGE_RAM_OFFSET);
} }
#endif #endif