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	…
chg_pid	…
libtos	Make sure that the caches are pushed and turned off before jumping into	1996-12-26 15:07:33 +00:00
loadbsd	…
rawwrite	…
Makefile	…
Makefile.inc	…