Hi,

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

Bernd