Module Name:	src
Committed By:	elad
Date:		Sun Nov 26 16:22:36 UTC 2006

Modified Files:
	src/share/man/man9: veriexec.9
	src/sys/kern: init_main.c kern_verifiedexec.c
	src/sys/sys: verified_exec.h

Log Message:
I wanted to do this for so long: veriexec_init_fp_ops() -> veriexec_init().


To generate a diff of this commit:
cvs rdiff -r1.5 -r1.6 src/share/man/man9/veriexec.9
cvs rdiff -r1.282 -r1.283 src/sys/kern/init_main.c
cvs rdiff -r1.70 -r1.71 src/sys/kern/kern_verifiedexec.c
cvs rdiff -r1.39 -r1.40 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.