src/soc/ucb/riscv/Kconfig

   1 ## SPDX-License-Identifier: GPL-2.0-only
   2
   3 config SOC_UCB_RISCV
   4         select ARCH_RISCV_S
   5         select ARCH_RISCV_U
   6         select ARCH_RISCV_PMP
   7         select ARCH_BOOTBLOCK_RISCV
   8         select ARCH_VERSTAGE_RISCV
   9         select ARCH_ROMSTAGE_RISCV
  10         select ARCH_RAMSTAGE_RISCV
  11         select RISCV_USE_ARCH_TIMER
  12         bool
  13         default n
  14
  15 if SOC_UCB_RISCV
  16
  17 if ARCH_RISCV_RV64
  18
  19 config RISCV_ARCH
  20         string
  21         default "rv64imafd"
  22
  23 config RISCV_ABI
  24         string
  25         default "lp64d"
  26
  27 config RISCV_CODEMODEL
  28         string
  29         default "medany"
  30
  31 endif
  32
  33 if ARCH_RISCV_RV32
  34
  35 config RISCV_ARCH
  36         string
  37         default "rv32im"
  38
  39 config RISCV_ABI
  40         string
  41         default "ilp32"
  42
  43 config RISCV_CODEMODEL
  44         string
  45         default "medany"
  46
  47 endif
  48
  49 config RISCV_WORKING_HARTID
  50         int
  51         default 0
  52
  53 endif