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
..
GENERIC	Turn on kernel debugging support (DDB, INVARIANTS, INVARIANT_SUPPORT, WITNESS)	2001-04-15 19:37:28 +00:00
GENERIC.hints	Added another wd33c93 based SCSI card driver which replaces the bs driver.	2001-02-27 12:34:01 +00:00
gethints.pl	Report the line number where gethints.pl does not understand something	2000-06-26 09:08:23 +00:00