# 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 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