1# Copyright (c) 2021 Tokita, Hiroshi <tokita.hiroshi@gmail.com>
2# SPDX-License-Identifier: Apache-2.0
3
4if SOC_GD32VF103
5
6config KERNEL_ENTRY
7	default "__nuclei_start"
8
9config SYS_CLOCK_HW_CYCLES_PER_SEC
10	# This value should be the CPU frequency divided by 4.
11	# The CPU frequency is set to the maximum value of 108MHz by default.
12	default 27000000
13
14config RISCV_MCAUSE_EXCEPTION_MASK
15	default 0xFFF
16
17config RISCV_SOC_INTERRUPT_INIT
18	default y
19
20config NUM_IRQS
21	default 87 if  NUCLEI_ECLIC
22	default 16 if !NUCLEI_ECLIC
23
24config ARCH_IRQ_VECTOR_TABLE_ALIGN
25	default 512 if NUCLEI_ECLIC
26
27config RISCV_TRAP_HANDLER_ALIGNMENT
28	default 64 if NUCLEI_ECLIC && !RISCV_VECTORED_MODE
29
30endif # GD32VF103
31