1## SPDX-License-Identifier: GPL-2.0-only 2 3config 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 15if SOC_UCB_RISCV 16 17if ARCH_RISCV_RV64 18 19config RISCV_ARCH 20 string 21 default "rv64imafd" 22 23config RISCV_ABI 24 string 25 default "lp64d" 26 27config RISCV_CODEMODEL 28 string 29 default "medany" 30 31endif 32 33if ARCH_RISCV_RV32 34 35config RISCV_ARCH 36 string 37 default "rv32im" 38 39config RISCV_ABI 40 string 41 default "ilp32" 42 43config RISCV_CODEMODEL 44 string 45 default "medany" 46 47endif 48 49config RISCV_WORKING_HARTID 50 int 51 default 0 52 53endif 54