Module Name:	src
Committed By:	tron
Date:		Sat Jul  2 15:58:23 UTC 2005

Modified Files:
	src/sys/dev [netbsd-3]: verified_exec.c

Log Message:
Pull up revision 1.17 (requested by elad in ticket #487):
- Use more calls to veriexec_report() where possible.
- Change #ifdef VERIFIED_EXEC_VERBOSE to another verbose level, 2. Add
sysctl(3) bits.
- Simplify access type conflict handling during load. This depends on
the values of access type defines to be ordered from least to most
'strict'.


To generate a diff of this commit:
cvs rdiff -r1.5.2.10 -r1.5.2.11 src/sys/dev/verified_exec.c

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