1 /*
2  * Copyright (C) 2017, STMicroelectronics - All Rights Reserved
3  * Author(s): Patrice Chotard, <patrice.chotard@st.com> for STMicroelectronics.
4  *
5  * SPDX-License-Identifier:	GPL-2.0+
6  */
7 
8 #ifndef __CONFIG_H
9 #define __CONFIG_H
10 
11 #include <config.h>
12 
13 #define CONFIG_SYS_FLASH_BASE		0x08000000
14 #define CONFIG_SYS_INIT_SP_ADDR		0x24040000
15 
16 /*
17  * Configuration of the external SDRAM memory
18  */
19 #define CONFIG_NR_DRAM_BANKS		1
20 #define CONFIG_SYS_RAM_BASE		0xD0000000
21 #define CONFIG_SYS_SDRAM_BASE		CONFIG_SYS_RAM_BASE
22 #define CONFIG_SYS_LOAD_ADDR		0xD0400000
23 #define CONFIG_LOADADDR			0xD0400000
24 
25 #define CONFIG_ENV_SIZE			(8 << 10)
26 
27 #define CONFIG_SYS_HZ_CLOCK		1000000
28 
29 #define CONFIG_CMDLINE_TAG
30 #define CONFIG_SETUP_MEMORY_TAGS
31 #define CONFIG_INITRD_TAG
32 #define CONFIG_REVISION_TAG
33 
34 #define CONFIG_SYS_MAXARGS		16
35 #define CONFIG_SYS_MALLOC_LEN		(1 * 1024 * 1024)
36 
37 #define CONFIG_BOOTARGS							\
38 	"console=ttyS0,115200 earlyprintk consoleblank=0 ignore_loglevel"
39 
40 /*
41  * Command line configuration.
42  */
43 #define CONFIG_CMD_CACHE
44 #define CONFIG_BOARD_LATE_INIT
45 
46 #endif /* __CONFIG_H */
47