# 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"