Subject: HEADS UP: Veriexec ABI change
To: None <>
From: Elad Efrat <>
List: current-users
Date: 11/29/2006 00:24:02

For the upcoming 4.0 release I have modified Veriexec's ABI to use
proplib, so in the future it is easier to introduce changes that I'm

This affects you only if you use Veriexec on -current. In that case
you will have to rebuild your kernel (obviously), copy verified_exec.h
from src/sys/sys to /usr/include/sys, and rebuild veriexecctl.



Elad Efrat