board/sipeed/maix/Kconfig

   1 # SPDX-License-Identifier: GPL-2.0+
   2 # Copyright (C) 2019-20 Sean Anderson <[email protected]>
   3
   4 if TARGET_SIPEED_MAIX
   5
   6 config SYS_BOARD
   7         default "maix"
   8
   9 config SYS_VENDOR
  10         default "sipeed"
  11
  12 config SYS_CPU
  13         default "generic"
  14
  15 config SYS_CONFIG_NAME
  16         default "sipeed-maix"
  17
  18 config SYS_TEXT_BASE
  19         default 0x80000000
  20
  21 config DEFAULT_DEVICE_TREE
  22         default "k210-maix-bit"
  23
  24 config NR_CPUS
  25         default 2
  26
  27 config NR_DRAM_BANKS
  28         default 3
  29
  30 config 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 endif