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

..

acpica

…

apm

Send the remains (such as I have located) of "block major numbers" to

2001-03-26 12:41:29 +00:00

bios

Send the remains (such as I have located) of "block major numbers" to

2001-03-26 12:41:29 +00:00

conf

Turn on kernel debugging support (DDB, INVARIANTS, INVARIANT_SUPPORT, WITNESS)

2001-04-15 19:37:28 +00:00

i386

Rename the IPI API from smp_ipi_* to ipi_* since the smp_ prefix is just

2001-04-11 17:06:02 +00:00

ibcs2

Add missing includes of <sys/sx.h>

2001-03-28 15:04:22 +00:00

include

Back out wrapping the asm ... ; bits in #ifndef lint macros. There

2001-04-14 20:42:04 +00:00

isa

People are still having problems with i586_* on UP machines and SMP

2001-04-13 17:14:53 +00:00

linux

Regen after adding linux_sched_get_priority_max() and

2001-04-01 06:43:09 +00:00

pci

…

svr4

…

Makefile

…