1// SPDX-License-Identifier: GPL-2.0+ 2/* 3 * Copyright 2000-2009 4 * Wolfgang Denk, DENX Software Engineering, wd@denx.de. 5 */ 6 7#include <common.h> 8#include <command.h> 9#include <display_options.h> 10#include <version_string.h> 11#include <linux/compiler.h> 12#ifdef CONFIG_SYS_COREBOOT 13#include <asm/cb_sysinfo.h> 14#endif 15 16static int do_version(struct cmd_tbl *cmdtp, int flag, int argc, 17 char *const argv[]) 18{ 19 char buf[DISPLAY_OPTIONS_BANNER_LENGTH]; 20 21 printf(display_options_get_banner(false, buf, sizeof(buf))); 22#ifdef CC_VERSION_STRING 23 puts(CC_VERSION_STRING "\n"); 24#endif 25#ifdef LD_VERSION_STRING 26 puts(LD_VERSION_STRING "\n"); 27#endif 28#ifdef CONFIG_SYS_COREBOOT 29 printf("coreboot-%s (%s)\n", lib_sysinfo.version, lib_sysinfo.build); 30#endif 31 return 0; 32} 33 34U_BOOT_CMD( 35 version, 1, 1, do_version, 36 "print monitor, compiler and linker version", 37 "" 38); 39