#include <common.h> #include <generated/compile.h> #include <generated/utsrelease.h> const char version_string[] = "barebox " UTS_RELEASE " " UTS_VERSION "\n"; void barebox_banner (void) { printf("\n\n%s\n\n", version_string); printf("Board: " CONFIG_BOARDINFO "\n"); }