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