cgd 3d67685d36 Do not build vnode_if.[ch] for each kernel. Build them once, like the ... various syscall sources/headers, and just compile them. From PR 2142, OK'd by mycroft.		1996-02-29 20:54:58 +00:00
..
monitors
BETA	Configuration files updated to support latest options and devices	1996-02-05 16:34:51 +00:00
CLAIRE	Configuration files updated to support latest options and devices	1996-02-05 16:34:51 +00:00
files.arm32	Added files for machine specific debugger code	1996-02-15 22:40:08 +00:00
GENERIC	Configuration files updated to support latest options and devices	1996-02-05 16:34:51 +00:00
Makefile.arm32	Do not build vnode_if.[ch] for each kernel. Build them once, like the	1996-02-29 20:54:58 +00:00
PHARM	Configuration files updated to support latest options and devices	1996-02-05 16:34:51 +00:00
REMY	Configuration files updated to support latest options and devices	1996-02-05 16:34:51 +00:00
std.arm32
VOYAGER	Configuration files updated to support latest options and devices	1996-02-05 16:34:51 +00:00