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