1# Copyright (c) 2017 Jean-Paul Etienne <fractalclone@gmail.com>
2# Copyright (c) 2024 Antmicro <www.antmicro.com>
3# SPDX-License-Identifier: Apache-2.0
4
5if SOC_SERIES_SIFIVE_FREEDOM_FU700
6
7config SYS_CLOCK_HW_CYCLES_PER_SEC
8	default 32768
9
10config RISCV_SOC_INTERRUPT_INIT
11	default y
12
13config 2ND_LVL_ISR_TBL_OFFSET
14	default 12
15
16config 2ND_LVL_INTR_00_OFFSET
17	default 11
18
19config MAX_IRQ_PER_AGGREGATOR
20	default 52
21
22config NUM_IRQS
23	default 64
24
25config FPU
26	default y if CPU_HAS_FPU
27
28config RISCV_IMPRECISE_FPU_STATE_TRACKING
29	default y if FPU
30
31endif # SOC_SERIES_SIFIVE_FREEDOM_FU700
32