tsutsui 6c73b7cec0 /kern is no longer needed.		2000-09-13 13:49:30 +00:00
..
floppies	/kern is no longer needed.	2000-09-13 13:49:30 +00:00
Makefile	- Build an INSTALL kernel on the separate directory.	2000-06-11 11:35:18 +00:00