tv f7eef89222 Kill no longer necessary CACHE_CLEAN_VM option.		1998-06-21 23:40:12 +00:00
..
monitors	RCSID Police.	1998-01-05 20:51:25 +00:00
A7INST	Cleanup: move {SWAP,DEV,VNODE}PAGER to std.arm32; required for Mach VM, and	1998-06-09 01:15:48 +00:00
A7000	Cleanup: move {SWAP,DEV,VNODE}PAGER to std.arm32; required for Mach VM, and	1998-06-09 01:15:48 +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
GENERIC	Cleanup: move {SWAP,DEV,VNODE}PAGER to std.arm32; required for Mach VM, and	1998-06-09 01:15:48 +00:00
Makefile.arm32	Specify a non-profiling C rule.	1998-05-31 23:25:41 +00:00
OFWGENCFG	Don't build in the ARMFPE by default.	1998-06-18 22:32:33 +00:00
RC7500	Cleanup: move {SWAP,DEV,VNODE}PAGER to std.arm32; required for Mach VM, and	1998-06-09 01:15:48 +00:00
RISCPC	Cleanup: move {SWAP,DEV,VNODE}PAGER to std.arm32; required for Mach VM, and	1998-06-09 01:15:48 +00:00
RPCINST	Cleanup: move {SWAP,DEV,VNODE}PAGER to std.arm32; required for Mach VM, and	1998-06-09 01:15:48 +00:00
SHARK	Kill no longer necessary CACHE_CLEAN_VM option.	1998-06-21 23:40:12 +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
VOYAGER	Cleanup: move {SWAP,DEV,VNODE}PAGER to std.arm32; required for Mach VM, and	1998-06-09 01:15:48 +00:00