1# Copyright (c) 2023 Antmicro
2# SPDX-License-Identifier: Apache-2.0
3
4config TEST_INTC_PLIC
5	bool
6	default y
7	help
8	   Declare some intc_plic.c functions in the global scope for verification.
9
10source "Kconfig"
11