Subject: Re: Strange Veriexec kernel breakage
To: Brett Lymn <>
From: Scott Ellis <>
List: current-users
Date: 12/28/2006 08:34:19
Brett Lymn wrote:
> that you have veriexec components commented out... is this really the
> config file you used?

Hi Brett,

Yes, that's the config file I used, but (as I tried to describe in the 
message text) I commented them back out to get a 'working' kernel.

In either case, one of the changes that Elad committed got the kernel 
working again.  So this issue appears solved as of Dec 28th.

Thanks for the assistance.