1 // SPDX-License-Identifier: GPL-2.0+
5 * This tool helps to return the size available for SPL image during build
8 #include <generated/autoconf.h>
9 #include <generated/generic-asm-offsets.h>
11 int main(int argc, char *argv[])
13 int spl_size_limit = 0;
15 #ifdef CONFIG_SPL_SIZE_LIMIT
16 spl_size_limit = CONFIG_SPL_SIZE_LIMIT;
17 #if defined(CONFIG_IMX_HAB) && defined(CONFIG_CSF_SIZE)
18 spl_size_limit -= CONFIG_CSF_SIZE;
20 #ifdef CONFIG_SPL_SIZE_LIMIT_SUBTRACT_GD
21 spl_size_limit -= GENERATED_GBL_DATA_SIZE;
23 #ifdef CONFIG_SPL_SIZE_LIMIT_SUBTRACT_MALLOC
24 spl_size_limit -= CONFIG_SPL_SYS_MALLOC_F_LEN;
26 #ifdef CONFIG_SPL_SIZE_LIMIT_PROVIDE_STACK
27 spl_size_limit -= CONFIG_SPL_SIZE_LIMIT_PROVIDE_STACK;
31 printf("%d", spl_size_limit);