.PATH: ${.PARSEDIR:H:H}/dev/veriexec .include KMOD= veriexec SRCS= verified_exec.c SRCS+= bus_if.h device_if.h vnode_if.h .include