freebsd-dev/sys/amd64/conf
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
Makefile Get the build bits right for the new Architecture Independant null- and 2000-06-25 09:18:13 +00:00