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
..
Makefile	…
bsdstart.s	Make sure that the caches are pushed and turned off before jumping into	1996-12-26 15:07:33 +00:00
eprintf.c	…
error.c	…
keywait.c	…
kparamb.h	…
libtos.h	…
xalloc.c	…
xexit.c	…