1# Copyright (c) 2018 - 2019 Antmicro <www.antmicro.com>
2# SPDX-License-Identifier: Apache-2.0
3
4if SOC_LITEX_VEXRISCV
5
6config SYS_CLOCK_HW_CYCLES_PER_SEC
7	default $(dt_node_int_prop_int,/cpus/cpu@0,clock-frequency)
8
9config NUM_IRQS
10	default 12
11
12config REBOOT
13	depends on DT_HAS_LITEX_SOC_CONTROLLER_ENABLED
14	default y
15
16endif # SOC_LITEX_VEXRISCV
17