17 lines
303 B
Plaintext
17 lines
303 B
Plaintext
# Copyright (c) 2018 - 2019 Antmicro <www.antmicro.com>
|
|
# SPDX-License-Identifier: Apache-2.0
|
|
|
|
if SOC_LITEX_VEXRISCV
|
|
|
|
config SYS_CLOCK_HW_CYCLES_PER_SEC
|
|
default 100000000
|
|
|
|
config NUM_IRQS
|
|
default 12
|
|
|
|
config REBOOT
|
|
depends on DT_HAS_LITEX_SOC_CONTROLLER_ENABLED
|
|
default y
|
|
|
|
endif # SOC_LITEX_VEXRISCV
|