1 2.PATH: ${.PARSEDIR:H:H}/dev/veriexec 3 4.include <bsd.own.mk> 5 6KMOD= veriexec 7SRCS= verified_exec.c 8SRCS+= bus_if.h device_if.h vnode_if.h 9 10.include <bsd.kmod.mk> 11 12