// SPDX-License-Identifier: GPL-2.0+
  /*
   * Copyright (c) 2019, Simon Goldschmidt <simon.k.r.goldschmidt@gmail.com>
   *
   * This tool helps to return the size available for SPL image during build
   */
  
  #include <generated/autoconf.h>
  #include <generated/generic-asm-offsets.h>
  
  int main(int argc, char *argv[])
  {
  	int spl_size_limit = 0;
  
  #ifdef CONFIG_SPL_SIZE_LIMIT
  	spl_size_limit = CONFIG_SPL_SIZE_LIMIT;

  #if defined(CONFIG_IMX_HAB) && defined(CONFIG_CSF_SIZE)

  	spl_size_limit -= CONFIG_CSF_SIZE;
  #endif

  #ifdef CONFIG_SPL_SIZE_LIMIT_SUBTRACT_GD
  	spl_size_limit -= GENERATED_GBL_DATA_SIZE;
  #endif
  #ifdef CONFIG_SPL_SIZE_LIMIT_SUBTRACT_MALLOC
  	spl_size_limit -= CONFIG_SPL_SYS_MALLOC_F_LEN;
  #endif
  #ifdef CONFIG_SPL_SIZE_LIMIT_PROVIDE_STACK
  	spl_size_limit -= CONFIG_SPL_SIZE_LIMIT_PROVIDE_STACK;
  #endif
  #endif
  
  	printf("%d", spl_size_limit);
  	return 0;
  }