Gerwin Klein f6f824b269 cspec: make config_ARM_GIC_V3 config visible to proofs ... In preparation for adding an API for software-generated interrupts, make config_ARM_GIC_V3 visible to the proofs, so values of constants can be defined conditionally on GICv2/v3 use. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>		2025-02-27 16:34:17 +11:00
..
overlays	cspec: provide mechanism for adding dts overlays (#591)	2023-03-07 14:35:53 +11:00
Makefile	cspec: introduce L4V_PLAT	2023-06-05 12:04:29 +10:00
config_sched.c	licenses: convert license tags to SPDX	2020-03-13 14:38:24 +08:00
export-kernel-builds.py	cspec: Use L4V_PLAT in build export script	2023-06-05 13:34:14 +10:00
gen-config-thy.py	cspec: make config_ARM_GIC_V3 config visible to proofs	2025-02-27 16:34:17 +11:00
kernel.mk	cspec/c: provide NUM_DOMAINS build override option	2023-12-11 08:28:23 +01:00
no-compiler.cmake	cspec: separately generate C config headers	2021-12-23 14:54:13 +11:00