# SPDX-License-Identifier: GPL-2.0-or-later
#
# Copyright (c) 2026, Hangfan Li <lihangfan@iscas.ac.cn>

if TARGET_SPACEMIT_K3

config SYS_VENDOR
	default "spacemit"

config SYS_BOARD
	default "k3-generic"

config SYS_CONFIG_NAME
	default "spacemit-k3-generic"

config CUSTOM_SYS_INIT_SP_ADDR
	default 0xc0880000

config TEXT_BASE
	hex
	default 0x80200000 if RISCV_SMODE

config SYS_LOAD_ADDR
	hex
	default 0x102000000

config DEFAULT_DEVICE_TREE
	default "k3-spacemit-deb1"

config BOARD_SPECIFIC_OPTIONS
	def_bool y
	select SPACEMIT_K3
	select HAS_CUSTOM_SYS_INIT_SP_ADDR

endif
