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 #ifndef CONFIG_SPL_BUILD 13 #undef CONFIG_BOOTCOMMAND 14 #define CONFIG_BOOTCOMMAND RKIMG_BOOTCOMMAND 15 #endif 16 17 #define CONFIG_MMC_SDHCI_SDMA 18 #define CONFIG_SYS_MMC_ENV_DEV 0 19 20 #define SDRAM_BANK_SIZE (2UL << 30) 21 #define CONFIG_MISC_INIT_R 22 #define CONFIG_SERIAL_TAG 23 #define CONFIG_ENV_OVERWRITE 24 25 #define CONFIG_BMP_16BPP 26 #define CONFIG_BMP_24BPP 27 #define CONFIG_BMP_32BPP 28 29 #define ROCKCHIP_DEVICE_SETTINGS \ 30 "stdout=serial,vidconsole\0" \ 31 "stderr=serial,vidconsole\0" 32 33 #endif 34