# SPDX-License-Identifier: GPL-2.0+
# Copyright (C) 2019-20 Sean Anderson <seanga2@gmail.com>

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 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 RISCV_ACLINT
	imply POWER_DOMAIN
	imply SIMPLE_PM_BUS
	imply CLK_K210
	imply DM_RESET
	imply RESET_SYSCON
	imply SYSRESET
	imply SYSRESET_SYSCON
	imply PINCTRL
	imply PINCONF
	imply PINCTRL_K210
	imply DM_GPIO
	imply DWAPB_GPIO
	imply SIFIVE_GPIO
	imply CMD_GPIO
	imply LED
	imply LED_GPIO
	imply SPI
	imply DESIGNWARE_SPI
	imply SPI_FLASH_GIGADEVICE
	imply SPI_FLASH_WINBOND
	imply DM_MTD
	imply SPI_FLASH_MTD
	imply CMD_MTD
	imply ENV_IS_IN_SPI_FLASH
	imply MMC
	imply MMC_BROKEN_CD
	imply MMC_SPI
	imply CMD_MMC
	imply DOS_PARTITION
	imply EFI_PARTITION
	imply CMD_PART
	imply CMD_FS_GENERIC
	imply WDT
	imply DESIGNWARE_WATCHDOG
endif