1 /* SPDX-License-Identifier: GPL-2.0+ */ 2 /* 3 * (C) Copyright 2016 Rockchip Electronics Co., Ltd 4 */ 5 6 #ifndef __EVB_RK3399_H 7 #define __EVB_RK3399_H 8 9 #define ROCKCHIP_DEVICE_SETTINGS \ 10 "stdin=serial,usbkbd\0" \ 11 "stdout=serial,vidconsole\0" \ 12 "stderr=serial,vidconsole\0" 13 14 #include <configs/rk3399_common.h> 15 16 #define SDRAM_BANK_SIZE (2UL << 30) 17 18 #endif 19