1/* SPDX-License-Identifier: GPL-2.0+ */ 2/* 3 * (C) Copyright 2015 Google, Inc 4 */ 5 6#ifndef __CONFIG_H 7#define __CONFIG_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/rk3288_common.h> 15 16#endif 17