# # GENERIC-DEBUG -- WITNESS and INVARIANTS enabled kernel configuration file # for FreeBSD/amd64 # include GENERIC include "std.debug" ident GENERIC-DEBUG