C_SOURCES := \
	vc4_drm_public.h \
	vc4_drm_winsys.c