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