1# Copyright (c) 2023 Meta
2# SPDX-License-Identifier: Apache-2.0
3
4if SOC_RISCV_VIRTUAL_RENODE
5
6config SYS_CLOCK_HW_CYCLES_PER_SEC
7	default 4000000
8
9config RISCV_SOC_INTERRUPT_INIT
10	default y
11
12config 1ST_LEVEL_INTERRUPT_BITS
13	default 4
14
15config NUM_2ND_LEVEL_AGGREGATORS
16	default 2
17
18config 2ND_LEVEL_INTERRUPT_BITS
19	default 11
20
21config 2ND_LVL_ISR_TBL_OFFSET
22	default 12
23
24config 2ND_LVL_INTR_00_OFFSET
25	default 11
26
27config 2ND_LVL_INTR_01_OFFSET
28	default 4
29
30config MAX_IRQ_PER_AGGREGATOR
31	default 1023
32
33config NUM_IRQS
34	default 2058
35
36endif # SOC_RISCV_VIRTUAL_RENODE
37