include/configs/pinebook-pro-rk3399.h

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