Merge pull request #1333 from gsomlo/gls-noboot-warning

bios/main: Wrap CONFIG_NO_BOOT around boot_sequence()
This commit is contained in:
enjoy-digital 2022-06-20 08:37:03 +02:00 committed by GitHub
commit ef2f1bd65b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions

View File

@ -49,6 +49,7 @@
#include <liblitesdcard/sdcard.h>
#include <liblitesata/sata.h>
#ifndef CONFIG_BIOS_NO_BOOT
static void boot_sequence(void)
{
#ifdef CSR_UART_BASE
@ -75,6 +76,7 @@ static void boot_sequence(void)
#endif
printf("No boot medium found\n");
}
#endif
__attribute__((__used__)) int main(int i, char **c)
{