Module Name:	src
Committed By:	elad
Date:		Tue Nov 28 22:22:03 UTC 2006

Modified Files:
	src/sbin/veriexecctl: Makefile veriexecctl.c veriexecctl.h
	    veriexecctl_conf.l veriexecctl_parse.y
	src/share/man/man4: veriexec.4
	src/sys/dev: verified_exec.c
	src/sys/kern: kern_verifiedexec.c
	src/sys/sys: verified_exec.h

Log Message:
Make Veriexec use proplib(3) for kernel-userland data passing.

Obviously, this breaks the already unstable Veriexec ABI, but that's
it. Some cool additions are planned to be introduced, and this just
makes it so that NetBSD 4.0 users will be able to easily use them as
well.

This also removes the fingerprint type name limit, so relevant code
was adjusted.

Thoroughly tested (even uncovered a bug in proplib! thanks for fixing
that cube@!). Documentation updated.


To generate a diff of this commit:
cvs rdiff -r1.11 -r1.12 src/sbin/veriexecctl/Makefile
cvs rdiff -r1.24 -r1.25 src/sbin/veriexecctl/veriexecctl.c
cvs rdiff -r1.8 -r1.9 src/sbin/veriexecctl/veriexecctl.h \
    src/sbin/veriexecctl/veriexecctl_conf.l
cvs rdiff -r1.18 -r1.19 src/sbin/veriexecctl/veriexecctl_parse.y
cvs rdiff -r1.14 -r1.15 src/share/man/man4/veriexec.4
cvs rdiff -r1.49 -r1.50 src/sys/dev/verified_exec.c
cvs rdiff -r1.73 -r1.74 src/sys/kern/kern_verifiedexec.c
cvs rdiff -r1.41 -r1.42 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.