| // SPDX-License-Identifier: GPL-2.0+ |
| * Wolfgang Denk, DENX Software Engineering, wd@denx.de. |
| #include <linux/compiler.h> |
| #ifdef CONFIG_SYS_COREBOOT |
| #include <asm/cb_sysinfo.h> |
| const char __weak version_string[] = U_BOOT_VERSION_STRING; |
| static int do_version(struct cmd_tbl *cmdtp, int flag, int argc, |
| char buf[DISPLAY_OPTIONS_BANNER_LENGTH]; |
| printf(display_options_get_banner(false, buf, sizeof(buf))); |
| puts(CC_VERSION_STRING "\n"); |
| puts(LD_VERSION_STRING "\n"); |
| #ifdef CONFIG_SYS_COREBOOT |
| printf("coreboot-%s (%s)\n", lib_sysinfo.version, lib_sysinfo.build); |
| version, 1, 1, do_version, |
| "print monitor, compiler and linker version", |