2018-05-07 06:58:06 +09:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0+ */
|
2015-08-31 07:55:41 +09:00
|
|
|
/*
|
|
|
|
* (C) Copyright 2015 Google, Inc
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef __CONFIG_H
|
|
|
|
#define __CONFIG_H
|
|
|
|
|
2016-01-22 11:45:20 +09:00
|
|
|
#define ROCKCHIP_DEVICE_SETTINGS \
|
2017-07-25 21:47:46 +09:00
|
|
|
"stdin=serial,usbkbd\0" \
|
2016-01-22 11:45:20 +09:00
|
|
|
"stdout=serial,vidconsole\0" \
|
2018-04-18 19:01:21 +09:00
|
|
|
"stderr=serial,vidconsole\0"
|
2016-01-22 11:44:13 +09:00
|
|
|
|
2015-08-31 07:55:41 +09:00
|
|
|
#include <configs/rk3288_common.h>
|
|
|
|
|
2015-09-19 06:49:12 +09:00
|
|
|
#define CONFIG_SYS_MMC_ENV_DEV 0
|
|
|
|
|
2015-08-31 07:55:41 +09:00
|
|
|
#endif
|