Wilko Bulte 1e64a6acd6 DS20 embedded Adaptec SCSI chips are unfortunately not enabled when SRM ... 5.9 is installed.		2001-04-18 21:46:18 +00:00
..
alpha	Turn on kernel debugging support (DDB, INVARIANTS, INVARIANT_SUPPORT, WITNESS)	2001-04-15 19:37:28 +00:00
amd64	Turn on kernel debugging support (DDB, INVARIANTS, INVARIANT_SUPPORT, WITNESS)	2001-04-15 19:37:28 +00:00
i386	Turn on kernel debugging support (DDB, INVARIANTS, INVARIANT_SUPPORT, WITNESS)	2001-04-15 19:37:28 +00:00
pc98	Turn on kernel debugging support (DDB, INVARIANTS, INVARIANT_SUPPORT, WITNESS)	2001-04-15 19:37:28 +00:00
picobsd	Drop support for -DRELEASE_BUILD_FIXIT and -DCRUNCHED_BINARY in	2001-04-03 13:34:35 +00:00
scripts	Turn on kernel debugging support (DDB, INVARIANTS, INVARIANT_SUPPORT, WITNESS)	2001-04-15 19:37:28 +00:00
texts	DS20 embedded Adaptec SCSI chips are unfortunately not enabled when SRM	2001-04-18 21:46:18 +00:00
boot_crunch.conf	Cleanup: sort by directory/program, remove unused libraries.	2001-04-03 13:43:25 +00:00
fixit_crunch.conf	Synch this with i386 version again. This fits nicely on alphas.	2001-04-03 14:55:24 +00:00
fixit.profile
fixit.services
Makefile	Optimize make invocations by using multiple targets.	2001-04-17 18:32:35 +00:00
write_mfs_in_kernel.c