Hi,

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
planning.

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.

Thanks,

-e.

-- 
Elad Efrat