1 /* SPDX-License-Identifier: GPL-2.0 */
3 * Configuration for Xilinx Versal MINI configuration
5 * (C) Copyright 2018-2019 Xilinx, Inc.
6 * Michal Simek <michal.simek@xilinx.com>
7 * Siva Durga Prasad Paladugu <siva.durga.paladugu@xilinx.com>
10 #ifndef __CONFIG_VERSAL_MINI_H
11 #define __CONFIG_VERSAL_MINI_H
13 /* #define CONFIG_SYS_DCACHE_OFF */
14 #define CONFIG_SYS_ICACHE_OFF
16 #define CONFIG_SYS_MEMTEST_SCRATCH 0xfffc0000
18 #define CONFIG_EXTRA_ENV_SETTINGS
20 #include <configs/xilinx_versal.h>
22 /* Undef unneeded configs */
23 #undef CONFIG_EXTRA_ENV_SETTINGS
27 #undef CONFIG_BOOTM_NETBSD
28 #undef CONFIG_BOOTM_VXWORKS
29 #undef CONFIG_BOOTM_LINUX
32 #undef CONFIG_BOOTP_BOOTFILESIZE
33 #undef CONFIG_BOOTP_MAY_FAIL
35 #endif /* __CONFIG_VERSAL_MINI_H */