1 /* SPDX-License-Identifier: GPL-2.0 */
2 /*
3  * Configuration for Xilinx Versal MINI configuration
4  *
5  * (C) Copyright 2018-2019 Xilinx, Inc.
6  * Michal Simek <michal.simek@xilinx.com>
7  * Siva Durga Prasad Paladugu <siva.durga.paladugu@xilinx.com>
8  */
9 
10 #ifndef __CONFIG_VERSAL_MINI_H
11 #define __CONFIG_VERSAL_MINI_H
12 
13 /* #define CONFIG_SYS_DCACHE_OFF */
14 #define CONFIG_SYS_ICACHE_OFF
15 
16 #define CONFIG_SYS_MEMTEST_SCRATCH     0xfffc0000
17 
18 #define CONFIG_EXTRA_ENV_SETTINGS
19 
20 #include <configs/xilinx_versal.h>
21 
22 /* Undef unneeded configs */
23 #undef CONFIG_EXTRA_ENV_SETTINGS
24 #undef CONFIG_ZLIB
25 #undef CONFIG_GZIP
26 #undef CONFIG_CMD_ENV
27 #undef CONFIG_BOOTM_NETBSD
28 #undef CONFIG_BOOTM_VXWORKS
29 #undef CONFIG_BOOTM_LINUX
30 
31 /* BOOTP options */
32 #undef CONFIG_BOOTP_BOOTFILESIZE
33 #undef CONFIG_BOOTP_MAY_FAIL
34 
35 #endif /* __CONFIG_VERSAL_MINI_H */
36