Module Name:	src
Committed By:	elad
Date:		Mon Jun 20 15:06:18 UTC 2005

Modified Files:
	src/lib/libc/gen: sysctl.3
	src/sys/dev: verified_exec.c
	src/sys/kern: kern_verifiedexec.c
	src/sys/sys: verified_exec.h

Log Message:
- 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.151 -r1.152 src/lib/libc/gen/sysctl.3
cvs rdiff -r1.16 -r1.17 src/sys/dev/verified_exec.c
cvs rdiff -r1.28 -r1.29 src/sys/kern/kern_verifiedexec.c
cvs rdiff -r1.13 -r1.14 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.