| # | |
| # Copyright (c) 2018 - 2019 Antmicro <www.antmicro.com> | |
| # | |
| # SPDX-License-Identifier: Apache-2.0 | |
| # | |
| if SOC_RISCV32_LITEX_VEXRISCV | |
| config SOC | |
| string | |
| default "litex-vexriscv" | |
| config SYS_CLOCK_HW_CYCLES_PER_SEC | |
| int | |
| default 100000000 | |
| config RISCV_HAS_CPU_IDLE | |
| bool | |
| config RISCV_HAS_PLIC | |
| bool | |
| config NUM_IRQS | |
| int | |
| default 12 | |
| endif # SOC_RISCV32_LITEX_VEXRISCV |