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