3 * Wolfgang Denk, DENX Software Engineering, wd@denx.de.
5 * SPDX-License-Identifier: GPL-2.0+
11 #include <linux/compiler.h>
12 #ifdef CONFIG_SYS_COREBOOT
13 #include <asm/arch/sysinfo.h>
16 const char __weak version_string
[] = U_BOOT_VERSION_STRING
;
18 static int do_version(cmd_tbl_t
*cmdtp
, int flag
, int argc
, char * const argv
[])
20 char buf
[DISPLAY_OPTIONS_BANNER_LENGTH
];
22 printf(display_options_get_banner(false, buf
, sizeof(buf
)));
23 #ifdef CC_VERSION_STRING
24 puts(CC_VERSION_STRING
"\n");
26 #ifdef LD_VERSION_STRING
27 puts(LD_VERSION_STRING
"\n");
29 #ifdef CONFIG_SYS_COREBOOT
30 printf("coreboot-%s (%s)\n", lib_sysinfo
.version
, lib_sysinfo
.build
);
36 version
, 1, 1, do_version
,
37 "print monitor, compiler and linker version",