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 printf("\n%s\n", version_string);
21 #ifdef CC_VERSION_STRING
22 puts(CC_VERSION_STRING "\n");
24 #ifdef LD_VERSION_STRING
25 puts(LD_VERSION_STRING "\n");
27 #ifdef CONFIG_SYS_COREBOOT
28 printf("coreboot-%s (%s)\n", lib_sysinfo.version, lib_sysinfo.build);
34 version, 1, 1, do_version,
35 "print monitor, compiler and linker version",