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	Create a pmtimer device instance for GENERIC and NEWCARD kernels by default.	2000-12-07 14:27:02 +00:00
gethints.pl	Report the line number where gethints.pl does not understand something	2000-06-26 09:08:23 +00:00
Makefile	Get the build bits right for the new Architecture Independant null- and	2000-06-25 09:18:13 +00:00
makeLINT.pl	Duh! LINT is called NOTES these days.	2000-10-14 08:40:47 +00:00
NEWCARD	Soften the dire warnings about this code. Things are kinda working	2001-04-05 17:00:46 +00:00
NEWCARD.hints	Create a pmtimer device instance for GENERIC and NEWCARD kernels by default.	2000-12-07 14:27:02 +00:00
NOTES	o Introduce "options REGRESSION", a kernel option which enables	2001-04-11 19:29:24 +00:00