Tom Spindler wrote:
> Module Name:	src
> Committed By:	dogcow
> Date:		Tue Jul 25 00:23:06 UTC 2006
> 
> Modified Files:
> 	src/sys/kern: exec_script.c init_main.c init_sysctl.c kern_exec.c
> 	    vfs_syscalls.c vfs_vnops.c
> 
> Log Message:
> mechanically go through and
>  s,include "veriexec.h",include <sys/verified_exec.h>,
> as the former has apparently gone away.

why? "veriexec.h" contains NVERIEXEC, generated by config (iiuc). the
latter is the kpi.

-e.

-- 
Elad Efrat