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

..

boot_crunch.conf

Cleanup: sort by directory/program, remove unused libraries.

2001-04-03 13:43:25 +00:00

dokern.sh

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

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

fixit_crunch.conf

Synch this with i386 version again. This fits nicely on alphas.

2001-04-03 14:55:24 +00:00