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_MEMTEST_SCRATCH 0xfffc0000
15 #define CONFIG_EXTRA_ENV_SETTINGS
17 #include <configs/xilinx_versal.h>
19 /* Undef unneeded configs */
20 #undef CONFIG_EXTRA_ENV_SETTINGS
24 #undef CONFIG_BOOTM_NETBSD
25 #undef CONFIG_BOOTM_VXWORKS
26 #undef CONFIG_BOOTM_LINUX
29 #undef CONFIG_BOOTP_BOOTFILESIZE
30 #undef CONFIG_BOOTP_MAY_FAIL
32 #endif /* __CONFIG_VERSAL_MINI_H */