| # Copyright (c) 2017 Jean-Paul Etienne <fractalclone@gmail.com> |
| # Copyright (c) 2024 Antmicro <www.antmicro.com> |
| # SPDX-License-Identifier: Apache-2.0 |
| |
| if SOC_SERIES_SIFIVE_FREEDOM_FU700 |
| |
| config SYS_CLOCK_HW_CYCLES_PER_SEC |
| default 32768 |
| |
| config RISCV_SOC_INTERRUPT_INIT |
| default y |
| |
| config 2ND_LVL_ISR_TBL_OFFSET |
| default 12 |
| |
| config 2ND_LVL_INTR_00_OFFSET |
| default 11 |
| |
| config MAX_IRQ_PER_AGGREGATOR |
| default 52 |
| |
| config NUM_IRQS |
| default 64 |
| |
| config FPU |
| default y if CPU_HAS_FPU |
| |
| config RISCV_IMPRECISE_FPU_STATE_TRACKING |
| default y if FPU |
| |
| endif # SOC_SERIES_SIFIVE_FREEDOM_FU700 |
