udoo: Adjust the SD card device numbering

[J-u-boot.git] / include / configs / evb_rk3399.h

diff --git a/include/configs/evb_rk3399.h b/include/configs/evb_rk3399.h
index 015f25a774006dd290d8db0542b9f3ecffafbf5d..492b7b4df1281f0ed99c6c6e9cc3d689f5c558cc 100644 (file)
--- a/include/configs/evb_rk3399.h
+++ b/include/configs/evb_rk3399.h
@@ -1,22 +1,21 @@
+/* SPDX-License-Identifier: GPL-2.0+ */
 /*
  * (C) Copyright 2016 Rockchip Electronics Co., Ltd
- *
- * SPDX-License-Identifier:     GPL-2.0+
  */
 
 #ifndef __EVB_RK3399_H
 #define __EVB_RK3399_H
 
-#include <configs/rk3399_common.h>
+#define ROCKCHIP_DEVICE_SETTINGS \
+               "stdin=serial,usbkbd\0" \
+               "stdout=serial,vidconsole\0" \
+               "stderr=serial,vidconsole\0"
 
-#define CONFIG_SYS_MMC_ENV_DEV 1
-/*
- * SPL @ 32k for ~36k
- * ENV @ 96k
- * u-boot @ 128K
- */
-#define CONFIG_ENV_OFFSET (96 * 1024)
+#include <configs/rk3399_common.h>
 
 #define SDRAM_BANK_SIZE                        (2UL << 30)
 
+#define CONFIG_USB_OHCI_NEW
+#define CONFIG_SYS_USB_OHCI_MAX_ROOT_PORTS     2
+
 #endif