# SPDX-License-Identifier: GPL-2.0+ # Copyright (C) 2019-20 Sean Anderson if TARGET_SIPEED_MAIX config SYS_BOARD default "maix" config SYS_VENDOR default "sipeed" config SYS_CPU default "generic" config SYS_CONFIG_NAME default "sipeed-maix" config SYS_TEXT_BASE default 0x80000000 config DEFAULT_DEVICE_TREE default "k210-maix-bit" config NR_CPUS default 2 config NR_DRAM_BANKS default 3 config BOARD_SPECIFIC_OPTIONS def_bool y select GENERIC_RISCV select RISCV_PRIV_1_9 imply SMP imply DM_SERIAL imply SIFIVE_SERIAL imply SIFIVE_CLINT imply POWER_DOMAIN imply SIMPLE_PM_BUS imply CLK_CCF imply CLK_COMPOSITE_CCF imply CLK_K210 imply DM_RESET imply RESET_SYSCON imply SYSRESET imply SYSRESET_SYSCON endif