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_EXTRA_ENV_SETTINGS
15 #include <configs/xilinx_versal.h>
17 /* Undef unneeded configs */
18 #undef CONFIG_EXTRA_ENV_SETTINGS
20 #endif /* __CONFIG_VERSAL_MINI_H */