1# Copyright (c) 2021 Intel Corporation
2# SPDX-License-Identifier: Apache-2.0
3
4if SOC_AGILEX
5
6config SOC
7	default "intel_socfpga_agilex"
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 25000000
18
19config KERNEL_VM_SIZE
20	default 0x180000
21
22endif
23