/* SPDX-License-Identifier: GPL-2.0+ */

#ifndef __GENBOOK_CM5_RK3588_H
#define __GENBOOK_CM5_RK3588_H

#define ROCKCHIP_DEVICE_SETTINGS \
		"stdout=serial,vidconsole\0" \
		"stderr=serial,vidconsole\0"

/*
 * As a laptop, there is no sdmmc, and we want to
 * set usb the highest boot priority for third-part
 * os installation.
 */
#define BOOT_TARGETS "usb mmc0"

#include <configs/rk3588_common.h>

#endif /* __GENBOOK_CM5_RK3588_H */