text: /* SPDX-License-Identifier: GPL-2.0+ */
  /*
   * (C) Copyright 2016 Rockchip Electronics Co., Ltd
   */
  
  #ifndef __EVB_RK3399_H
  #define __EVB_RK3399_H
  
  #define ROCKCHIP_DEVICE_SETTINGS \
  		"stdin=serial,usbkbd\0" \
  		"stdout=serial,vidconsole\0" \
  		"stderr=serial,vidconsole\0"
  
  #include <configs/rk3399_common.h>
  
  #define SDRAM_BANK_SIZE			(2UL << 30)
  
  #endif
  