Subject: Re: verified executable kernel modification committed
To: Luke Mewburn <>
From: Brett Lymn <>
List: tech-security
Date: 10/30/2002 11:41:08
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.

Sure, sounds good to me.  I thought that verifiedexec_load was a bit
of a mouthful.

Brett Lymn