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.

	ScottE