/*
   * Copyright 2000-2009
   * Wolfgang Denk, DENX Software Engineering, wd@denx.de.
   *

   * SPDX-License-Identifier:	GPL-2.0+

   */
  
  #include <common.h>
  #include <command.h>

  #include <version.h>

  #include <linux/compiler.h>

  #ifdef CONFIG_SYS_COREBOOT
  #include <asm/arch/sysinfo.h>
  #endif

  const char __weak version_string[] = U_BOOT_VERSION_STRING;

  static int do_version(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[])

  {

  	char buf[DISPLAY_OPTIONS_BANNER_LENGTH];
  
  	printf(display_options_get_banner(false, buf, sizeof(buf)));

  #ifdef CC_VERSION_STRING
  	puts(CC_VERSION_STRING "
  ");
  #endif
  #ifdef LD_VERSION_STRING
  	puts(LD_VERSION_STRING "
  ");
  #endif

  #ifdef CONFIG_SYS_COREBOOT
  	printf("coreboot-%s (%s)
  ", lib_sysinfo.version, lib_sysinfo.build);
  #endif

  	return 0;
  }
  
  U_BOOT_CMD(
  	version,	1,		1,	do_version,

  	"print monitor, compiler and linker version",

  	""
  );