1 /* SPDX-License-Identifier: GPL-2.0+ */ 2 /* 3 * (C) Copyright 2018 Rockchip Electronics Co., Ltd 4 * 5 */ 6 7 #ifndef __EVB_RK1808_H 8 #define __EVB_RK1808_H 9 10 #include <configs/rk1808_common.h> 11 12 #define ROCKCHIP_DEVICE_SETTINGS \ 13 "stdout=serial,vidconsole\0" \ 14 "stderr=serial,vidconsole\0" 15 16 #ifndef CONFIG_SPL_BUILD 17 #undef CONFIG_BOOTCOMMAND 18 #define CONFIG_BOOTCOMMAND RKIMG_BOOTCOMMAND 19 #endif 20 21 #endif 22