1# Copyright (c) 2022 Intel Corporation
2# SPDX-License-Identifier: Apache-2.0
3
4if SOC_AGILEX5
5
6config SOC
7	default "intel_socfpga_agilex5"
8
9# must be >= the highest interrupt number used
10# - include the UART interrupts 173 or 204
11config NUM_IRQS
12	int
13	default 205
14
15config SYS_CLOCK_HW_CYCLES_PER_SEC
16	int
17	default 400000000
18
19config KERNEL_VM_SIZE
20	default 0x400000
21endif
22