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