| #include <common.h> |
| #include <mach/ddr.h> |
| #include <reloc.h> |
| #include <generated/utsrelease.h> |
| |
| #ifdef CONFIG_COMCERTO_BOOTLOADER |
| const char version_string[] = |
| "barebox " UTS_RELEASE " (" __DATE__ " - " __TIME__ ")"; |
| #else |
| const char version_string[] = |
| "uloader " UTS_RELEASE " (" __DATE__ " - " __TIME__ ")"; |
| #endif |
| |
| #ifdef CONFIG_HAS_EARLY_INIT |
| #error We do not support CONFIG_HAS_EARLY_INIT |
| #endif |
| |
| void barebox_banner (void) |
| { |
| printf("\n\n%s\n\n", version_string); |
| printf("SoC: " CONFIG_BOARDINFO "\n"); |
| printf("Board: %s\n", get_ddr_config_description()); |
| } |
| |