obrien c7790304de 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
amd64	People are still having problems with i586_* on UP machines and SMP	2001-04-13 17:14:53 +00:00
conf	Turn on kernel debugging support (DDB, INVARIANTS, INVARIANT_SUPPORT, WITNESS)	2001-04-15 19:37:28 +00:00
include	Rename the IPI API from smp_ipi_* to ipi_* since the smp_ prefix is just	2001-04-11 17:06:02 +00:00
isa	People are still having problems with i586_* on UP machines and SMP	2001-04-13 17:14:53 +00:00
pci	Free the memory we get from devclass_get_devices and device_get_children.	2001-02-08 20:44:49 +00:00
Makefile