HardenedBSD/release/i386
David E. O'Brien c5e70d92ce Turn on kernel debugging support (DDB, INVARIANTS, INVARIANT_SUPPORT, WITNESS)
by default while SMPng is still being developed.

Submitted by:	jhb
2001-04-15 19:37:28 +00:00
..
boot_crunch.conf
dokern.sh Turn on kernel debugging support (DDB, INVARIANTS, INVARIANT_SUPPORT, WITNESS) 2001-04-15 19:37:28 +00:00
drivers.conf
fixit_crunch.conf