Marcel Moolenaar d0adfaea93 Change LOG2_PAGE_SIZE from 14 to 15 bits. This will cause the CTASSERT ... in vm_page.h to be reached and thus slightly increases the overall coverage of LINT on ia64.		2003-08-25 20:02:18 +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
Makefile	Add the bits for a LINT kernel. It has been verified to compile. We	2003-08-23 21:47:33 +00:00
NOTES	Change LOG2_PAGE_SIZE from 14 to 15 bits. This will cause the CTASSERT	2003-08-25 20:02:18 +00:00
SKI	Remove INVARIANT* and WITNESS. This makes the simulator much more	2003-07-25 07:52:20 +00:00