1# SPDX-License-Identifier: GPL-2.0+ 2# Copyright (C) 2019-20 Sean Anderson <seanga2@gmail.com> 3 4if TARGET_SIPEED_MAIX 5 6config SYS_BOARD 7 default "maix" 8 9config SYS_VENDOR 10 default "sipeed" 11 12config SYS_CPU 13 default "generic" 14 15config SYS_CONFIG_NAME 16 default "sipeed-maix" 17 18config TEXT_BASE 19 default 0x80000000 20 21config DEFAULT_DEVICE_TREE 22 default "k210-maix-bit" 23 24config NR_CPUS 25 default 2 26 27config NR_DRAM_BANKS 28 default 3 29 30config BOARD_SPECIFIC_OPTIONS 31 def_bool y 32 select GENERIC_RISCV 33 select RISCV_PRIV_1_9 34 imply SMP 35 imply DM_SERIAL 36 imply SIFIVE_SERIAL 37 imply SIFIVE_CLINT 38 imply POWER_DOMAIN 39 imply SIMPLE_PM_BUS 40 imply CLK_K210 41 imply DM_RESET 42 imply RESET_SYSCON 43 imply SYSRESET 44 imply SYSRESET_SYSCON 45 imply PINCTRL 46 imply PINCONF 47 imply PINCTRL_K210 48 imply DM_GPIO 49 imply DWAPB_GPIO 50 imply SIFIVE_GPIO 51 imply CMD_GPIO 52 imply LED 53 imply LED_GPIO 54 imply SPI 55 imply DESIGNWARE_SPI 56 imply SPI_FLASH_GIGADEVICE 57 imply SPI_FLASH_WINBOND 58 imply DM_MTD 59 imply SPI_FLASH_MTD 60 imply CMD_MTD 61 imply ENV_IS_IN_SPI_FLASH 62 imply MMC 63 imply MMC_BROKEN_CD 64 imply MMC_SPI 65 imply CMD_MMC 66 imply DOS_PARTITION 67 imply EFI_PARTITION 68 imply CMD_PART 69 imply CMD_FS_GENERIC 70 imply WDT 71 imply DESIGNWARE_WATCHDOG 72endif 73