leo 112a968fb4 Make sure that the caches are pushed and turned off before jumping into ... the kernel image. This makes booting a 040 kernel finally reliable.		1996-12-26 15:07:33 +00:00
..
aptck	Catchup with the future.	1996-02-09 20:52:04 +00:00
chg_pid	Fix the same typo in all files. Yanking is soooo beautiful....	1996-01-09 09:55:06 +00:00
libtos	Make sure that the caches are pushed and turned off before jumping into	1996-12-26 15:07:33 +00:00
loadbsd	Fix the same typo in all files. Yanking is soooo beautiful....	1996-01-09 09:55:06 +00:00
rawwrite	Fix the same typo in all files. Yanking is soooo beautiful....	1996-01-09 09:55:06 +00:00
Makefile	Part of the tostools reorganization. All directories now contain a Makefile	1996-01-07 22:05:31 +00:00
Makefile.inc	Part of the tostools reorganization. All directories now contain a Makefile	1996-01-07 22:05:31 +00:00