# DF-5235 PoC — MAX_SCHEDULE_TIMEOUT truncation in the LinuxKPI completion shim
#
# Builds against the guest's live /usr/src kernel source.
# linux_completion.c is copied VERBATIM from /usr/src/sys/dev/drm so the
# real upstream entry points (wait_for_completion /
# wait_for_completion_interruptible) are linked into the module.
#
# KCFLAGS/kconfig.h mirrors how sys/dev/drm/drm/Makefile builds the shim.
KMOD=	compbug
SRCS=	compbug.c linux_completion.c linux_wait.c
KCFLAGS+= -I/usr/src/sys/dev/drm/include
KCFLAGS+= -I/usr/src/sys/dev/drm/include/drm
KCFLAGS+= -include /usr/src/sys/dev/drm/kconfig.h
KCFLAGS+= -DKBUILD_MODNAME=\"compbug\"

.include <bsd.kmod.mk>