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

..

atari

Get rid of BROKEN_INDIRECT_CONFIG

1996-12-20 16:20:57 +00:00

compile

…

conf

…

dev

Get rid of BROKEN_INDIRECT_CONFIG

1996-12-20 16:20:57 +00:00

include

Get rid of BROKEN_INDIRECT_CONFIG

1996-12-20 12:49:35 +00:00

pci

Get rid of BROKEN_INDIRECT_CONFIG

1996-12-20 12:49:35 +00:00

stand

Make sure that the caches are pushed and turned off before jumping into

1996-12-26 15:07:33 +00:00

Makefile

…