# Common verification modules (no SPI dependency)
# Linux 7.3 extmod protocol: plain obj-m Makefile; build with
#   make -C <kernel-output-dir> M=<this-dir> modules
# mcrsim needs CONFIG_SPI=y (build-kasan-spi-7.3):
#   make MCRSIM=1 -C <spi-output-dir> M=<this-dir> modules
obj-m += pmu_race.o r4_stall.o regmap_race.o iommurace.o fibrace.o

ifeq ($(MCRSIM),1)
obj-m += mcrsim.o
endif

# userspace static helper for the fib verification (kernel-independent)
fibwr: fibwr.c
	$(CC) -static -O2 -o $@ $<