1 /* 2 * (C) Copyright 2016 Rockchip Electronics Co., Ltd 3 * 4 * SPDX-License-Identifier: GPL-2.0+ 5 */ 6 7 #ifndef __EVB_RK3399_H 8 #define __EVB_RK3399_H 9 10 #include <configs/rk3399_common.h> 11 12 #define CONFIG_MMC_SDHCI_SDMA 13 #define CONFIG_SYS_MMC_ENV_DEV 0 14 /* 15 * SPL @ 32k for ~128k 16 * ENV @ 240k 17 * u-boot @ 256K 18 */ 19 #undef CONFIG_ENV_OFFSET 20 #define CONFIG_ENV_OFFSET (240 * 1024) 21 22 #define SDRAM_BANK_SIZE (2UL << 30) 23 #define CONFIG_MISC_INIT_R 24 #define CONFIG_SERIAL_TAG 25 #define CONFIG_ENV_OVERWRITE 26 27 #define ROCKCHIP_DEVICE_SETTINGS \ 28 "stdout=serial,vidconsole\0" \ 29 "stderr=serial,vidconsole\0" 30 31 #endif 32