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 SYS_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_CCF
41	imply CLK_COMPOSITE_CCF
42	imply CLK_K210
43	imply DM_RESET
44	imply RESET_SYSCON
45	imply SYSRESET
46	imply SYSRESET_SYSCON
47	imply PINCTRL
48	imply PINCONF
49	imply PINCTRL_K210
50	imply DM_GPIO
51	imply DWAPB_GPIO
52	imply SIFIVE_GPIO
53	imply CMD_GPIO
54	imply LED
55	imply LED_GPIO
56	imply SPI
57	imply DESIGNWARE_SPI
58	imply SPI_FLASH_GIGADEVICE
59	imply SPI_FLASH_WINBOND
60	imply DM_MTD
61	imply SPI_FLASH_MTD
62	imply CMD_MTD
63	imply ENV_IS_IN_SPI_FLASH
64	imply MMC
65	imply MMC_BROKEN_CD
66	imply MMC_SPI
67	imply CMD_MMC
68	imply DOS_PARTITION
69	imply EFI_PARTITION
70	imply CMD_PART
71	imply CMD_FS_GENERIC
72endif
73