1 /* SPDX-License-Identifier: GPL-2.0+ */ 2 /* 3 * (C) Copyright 2017 Rockchip Electronics Co., Ltd 4 */ 5 6 #ifndef __EVB_RK3128_H 7 #define __EVB_RK3128_H 8 9 #include <configs/rk3128_common.h> 10 11 #define CONFIG_ENV_IS_IN_MMC 12 #define CONFIG_SYS_MMC_ENV_DEV 0 13 14 #endif 15