marcel 8cdcaf359b Remove INVARIANT* and WITNESS. This makes the simulator much more ... pleasant to use.		2003-07-25 07:52:20 +00:00
..
GENERIC	Note that scbus is required for SCSI, not just "required" in general.	2003-06-08 02:03:02 +00:00
GENERIC.hints	Remove mcclock. It's an Alpha left-over.	2002-11-05 08:23:26 +00:00
SKI	Remove INVARIANT* and WITNESS. This makes the simulator much more	2003-07-25 07:52:20 +00:00