1 /* 2 * SPDX-License-Identifier: GPL-2.0+ 3 * 4 * Copyright (c) 2021 Rockchip Electronics Co., Ltd 5 */ 6 7 #ifndef __CONFIGS_RK3588_EVB_H 8 #define __CONFIGS_RK3588_EVB_H 9 10 #include <configs/rk3588_common.h> 11 12 #ifndef CONFIG_SPL_BUILD 13 14 #undef ROCKCHIP_DEVICE_SETTINGS 15 #define ROCKCHIP_DEVICE_SETTINGS \ 16 "stdin=serial,usbkbd\0" \ 17 "stdout=serial,vidconsole\0" \ 18 "stderr=serial,vidconsole\0" 19 20 #define CONFIG_SYS_MMC_ENV_DEV 0 21 22 #undef CONFIG_BOOTCOMMAND 23 #define CONFIG_BOOTCOMMAND RKIMG_BOOTCOMMAND 24 25 #endif 26 #endif 27