EXTRA_DIST =			\
	linux-module.c		\
	linux-sysctl.c		\
	linux-obdo.c