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

include GENERIC
include "std.debug"

ident   GENERIC-DEBUG