Subject: VERIFIED_EXEC to be removed from the config files (Re: CVS commit: src/sys/arch/i386/conf)
To: Elad Efrat <>
From: Bernd Ernesti <>
List: current-users
Date: 07/27/2006 07:30:36

On Wed, Jul 26, 2006 at 03:34:39PM +0000, Elad Efrat wrote:
> Module Name:	src
> Committed By:	elad
> Date:		Wed Jul 26 15:34:39 UTC 2006
> Modified Files:
> 	src/sys/arch/i386/conf: GENERIC
> Log Message:
> deprecate "options VERIFIED_EXEC"
> veriexec pseudo-device doesn't need a count anymore too
> XXX: port masters should propagate this to their ports

I don't think that all port master read source-changes, so they watch
all commits for other ports.

IMHO you should remove that entry because you removed that code
and added the options in the first place to these config files.

> To generate a diff of this commit:
> cvs rdiff -r1.765 -r1.766 src/sys/arch/i386/conf/GENERIC