1f1cbca2bSHatim RV /* 2f1cbca2bSHatim RV * Copyright (C) 2012 Samsung Electronics 3f1cbca2bSHatim RV * 4f1cbca2bSHatim RV * Configuration settings for the SAMSUNG SMDK5250 board. 5f1cbca2bSHatim RV * 61a459660SWolfgang Denk * SPDX-License-Identifier: GPL-2.0+ 7f1cbca2bSHatim RV */ 8f1cbca2bSHatim RV 9f1cbca2bSHatim RV #ifndef __CONFIG_SMDK_H 10f1cbca2bSHatim RV #define __CONFIG_SMDK_H 11f1cbca2bSHatim RV 12f1cbca2bSHatim RV #include <configs/exynos5250-dt.h> 13f1cbca2bSHatim RV 14f1cbca2bSHatim RV #undef CONFIG_DEFAULT_DEVICE_TREE 15f1cbca2bSHatim RV #define CONFIG_DEFAULT_DEVICE_TREE exynos5250-smdk5250 16f1cbca2bSHatim RV 17*e6fe968bSAkshay Saraswat /* Enable FIT support and comparison */ 18*e6fe968bSAkshay Saraswat #define CONFIG_FIT 19*e6fe968bSAkshay Saraswat #define CONFIG_FIT_BEST_MATCH 20*e6fe968bSAkshay Saraswat 21f1cbca2bSHatim RV #endif /* __CONFIG_SMDK_H */ 22