#
# GENERIC-DEBUG -- WITNESS and INVARIANTS enabled kernel configuration file
#			       for FreeBSD/RISC-V
#

include GENERIC
include "std.debug"

ident   GENERIC-DEBUG
