Module Name:	src
Committed By:	elad
Date:		Sat Dec 10 02:10:00 UTC 2005

Modified Files:
	src/sbin/veriexecctl: veriexecctl.8 veriexecctl.c
	src/share/man/man4: veriexec.4
	src/sys/dev: verified_exec.c
	src/sys/sys: verified_exec.h

Log Message:
Add and document a VERIEXEC_DELETE operation for Veriexec.

We can now delete an entry from the tables using

	veriexecctl delete /path/to/file

or remove an entire table using

	veriexecctl delete /mount_point

(any directory will work for the mount point it's on)


To generate a diff of this commit:
cvs rdiff -r1.19 -r1.20 src/sbin/veriexecctl/veriexecctl.8
cvs rdiff -r1.17 -r1.18 src/sbin/veriexecctl/veriexecctl.c
cvs rdiff -r1.8 -r1.9 src/share/man/man4/veriexec.4
cvs rdiff -r1.27 -r1.28 src/sys/dev/verified_exec.c
cvs rdiff -r1.22 -r1.23 src/sys/sys/verified_exec.h

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.