lukem bd8d501f7e remove options FIFO; it's now the default		1998-06-26 01:53:43 +00:00
..
monitors	RCSID Police.	1998-01-05 20:51:25 +00:00
A7INST	remove options FIFO; it's now the default	1998-06-26 01:53:43 +00:00
A7000	remove options FIFO; it's now the default	1998-06-26 01:53:43 +00:00
GENERIC	remove options FIFO; it's now the default	1998-06-26 01:53:43 +00:00
Makefile.arm32	Specify a non-profiling C rule.	1998-05-31 23:25:41 +00:00
OFWGENCFG	remove options FIFO; it's now the default	1998-06-26 01:53:43 +00:00
RC7500	remove options FIFO; it's now the default	1998-06-26 01:53:43 +00:00
RISCPC	remove options FIFO; it's now the default	1998-06-26 01:53:43 +00:00
RPCINST	remove options FIFO; it's now the default	1998-06-26 01:53:43 +00:00
SHARK	remove options FIFO; it's now the default	1998-06-26 01:53:43 +00:00
VOYAGER	remove options FIFO; it's now the default	1998-06-26 01:53:43 +00:00
files.arm32	Merge RiscPC and Shark files; now all machines will make the proper device	1998-06-12 23:21:53 +00:00
std.arm32	Cleanup: move {SWAP,DEV,VNODE}PAGER to std.arm32; required for Mach VM, and	1998-06-09 01:15:48 +00:00