# Copyright (c) 2021 Katsuhiro Suzuki
# Copyright (c) 2024 Antmicro <www.antmicro.com>
# SPDX-License-Identifier: Apache-2.0

if BOARD_HIFIVE_UNLEASHED

config SYS_CLOCK_TICKS_PER_SEC
	default 1000

config SYS_CLOCK_HW_CYCLES_PER_SEC
	default 1000000

endif # BOARD_HIFIVE_UNLEASHED