8 lines
210 B
Plaintext
8 lines
210 B
Plaintext
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
|