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