Merge branch 'timers/drivers/armv8.6_arch_timer' of https://git.linaro.org/people...
[platform/kernel/linux-starfive.git] / arch / microblaze / Kconfig.debug
1 # SPDX-License-Identifier: GPL-2.0-only