abs eb73becae2 Ensure all INSTALL config files consistantly include PIPE_SOCKETPAIR, ... MALLOC_NOINLINE, and VNODE_OP_NOINLINE. The exceptions are when they include another config files that already defines the options, or if they are for an embedded board, just define a few extra options, and do not already define PIPE_SOCKETPAIR.		2002-07-05 13:40:10 +00:00
..
cats	* Rewrite the 32-bit ARM pte.h based on the ARM architecture manual.	2002-04-05 16:58:01 +00:00
compile	…
conf	Ensure all INSTALL config files consistantly include PIPE_SOCKETPAIR,	2002-07-05 13:40:10 +00:00
include	Define MSGBUFSIZE here only if it's not specified by options(4).	2002-06-28 17:40:20 +00:00
isa	Don't "extern int cold;" - this is in <sys/kernel.h>.	2002-03-04 02:19:07 +00:00
pci	Move the arm32/pci files into the cats dir. AFAIK these files are only used by cats.	2002-02-09 12:14:01 +00:00
Makefile	Add cats specific makefile for tags and includes.	2001-06-12 08:32:46 +00:00