1# Copyright (c) 2021 Tokita, Hiroshi <tokita.hiroshi@gmail.com> 2# SPDX-License-Identifier: Apache-2.0 3 4if SOC_GD32VF103 5 6config SOC 7 default "gd32vf103" 8 9config KERNEL_ENTRY 10 default "__nuclei_start" 11 12config SYS_CLOCK_HW_CYCLES_PER_SEC 13 # This value should be the CPU frequency divided by 4. 14 # The CPU frequency is set to the maximum value of 108MHz by default. 15 default 27000000 16 17config RISCV_SOC_MCAUSE_EXCEPTION_MASK 18 default $(dt_node_int_prop_hex,/cpus/cpu@0,mcause-exception-mask) 19 20config RISCV_SOC_INTERRUPT_INIT 21 default y 22 23config RISCV_HAS_CPU_IDLE 24 default y 25 26config RISCV_GP 27 default y 28 29config RISCV_HAS_PLIC 30 default n 31 32config NUM_IRQS 33 default 87 if NUCLEI_ECLIC 34 default 16 if !NUCLEI_ECLIC 35 36config 2ND_LEVEL_INTERRUPTS 37 default y 38 39config PINCTRL 40 default y 41 42config RESET 43 default y 44 45config CLOCK_CONTROL 46 default y 47 48endif # GD32VF103 49
