Subject: Re: verified executable kernel modification committed
To: Luke Mewburn <lukem@netbsd.org>
From: Brett Lymn <blymn@baesystems.com.au>
List: current-users
Date: 11/01/2002 15:52:19
On Wed, Oct 30, 2002 at 09:05:25AM +1100, Luke Mewburn wrote:
> 
> At a minimum, the control program (and associated examples) should be
> "veriexecctl" or something like that (instead of "verifiedexec_load").
> As for the kernel option name, that's probably OK.
> 

I agree... unless there are any howls of pain, I shall change
verifiedexec_load to be veriexecctl this weekend.

-- 
Brett Lymn