1# Copyright (c) 2023 ENE Technology Inc.
2# SPDX-License-Identifier: Apache-2.0
3
4if SOC_KB1200
5
6config NUM_IRQS
7	default 64
8
9config SYS_CLOCK_HW_CYCLES_PER_SEC
10	default $(dt_node_int_prop_int,/cpus/cpu@0,clock-frequency)
11
12config BUILD_OUTPUT_BIN
13	default y
14
15config BUILD_OUTPUT_HEX
16	default y
17
18endif # SOC_KB1200
19