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	Cleanup: sort by directory/program, remove unused libraries.	2001-04-03 13:43:25 +00:00
dokern.sh	Turn on kernel debugging support (DDB, INVARIANTS, INVARIANT_SUPPORT, WITNESS)	2001-04-15 19:37:28 +00:00
drivers.conf	Moved if_de to mfsroot.flp (we've got 16KB free space in kern.flp)	2000-11-07 14:00:04 +00:00
fixit_crunch.conf	Cleanup: sort by directory/program, remove unused libraries.	2001-04-03 13:43:25 +00:00