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
10config TEST_INTC_PLIC_ALT_MAPPING
11	bool "Test alternate hartid - context mapping"
12
13source "Kconfig"
14