# Copyright (c) 2023 Antmicro
# SPDX-License-Identifier: Apache-2.0

config TEST_INTC_PLIC
	bool
	default y
	help
	   Declare some intc_plic.c functions in the global scope for verification.

source "Kconfig"