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 "stdout=serial,vidconsole\0" \ 17 "stderr=serial,vidconsole\0" 18 19 #define CONFIG_SYS_MMC_ENV_DEV 0 20 21 #undef CONFIG_BOOTCOMMAND 22 #define CONFIG_BOOTCOMMAND RKIMG_BOOTCOMMAND 23 24 #endif 25 #endif