include "arch/i386/conf/GENERIC"
#makeoptions DEBUG="-g" # compile full symbol table
options VERIFIED_EXEC
#options VERIFIED_EXEC_DEBUG
#options VERIFIED_EXEC_DEBUG_VERBOSE
pseudo-device verifiedexec 1