| /* SPDX-License-Identifier: GPL-2.0-only */ | |
| #include <cbmem.h> | |
| #include <console/console.h> | |
| #include <console/streams.h> | |
| #include <console/uart.h> | |
| #include <program_loading.h> | |
| #include <soc/clock.h> | |
| #include <soc/sdram.h> | |
| void main(void) | |
| { | |
| console_init(); | |
| /* TODO: Follow Section 6.3 (FSBL) of the FU540 manual */ | |
| clock_init(); | |
| // re-initialize UART | |
| if (CONFIG(CONSOLE_SERIAL)) | |
| uart_init(CONFIG_UART_FOR_CONSOLE); | |
| sdram_init(); | |
| cbmem_initialize_empty(); | |
| run_ramstage(); | |
| } |