C_SOURCES := \
	virgl_drm_public.h \
	virgl_drm_winsys.c \
	virgl_drm_winsys.h \
	virtgpu_drm.h