xref: /freebsd/sys/modules/veriexec/Makefile (revision e9ac41698b2f322d55ccf9da50a3596edb2c1800) 
1.PATH: ${.PARSEDIR:H:H}/dev/veriexec
2
3.include <bsd.own.mk>
4
5KMOD=	veriexec
6SRCS=	verified_exec.c
7SRCS+=	bus_if.h device_if.h vnode_if.h
8
9.include <bsd.kmod.mk>
10
11