1#
2# GENERIC-DEBUG -- WITNESS and INVARIANTS enabled kernel configuration file
3#			       for FreeBSD/powerpc64
4#
5
6include GENERIC64
7include "std.debug"
8
9ident   GENERIC64-DEBUG
10