Subject: Re: NetBSD/arm32 Installation Not Booting
To: Reinoud Zandijk <reinoud@netbsd.org>
From: Mike Pumford <mpumford@black-star.demon.co.uk>
List: port-acorn32
Date: 02/05/2002 00:02:32
> Euhm... i think you've misread my proposal .... i was proposing only a
> (partial) cache flush, when possible offcource but _only_ if there was
> printing done ... i.e. when nothing is printed on the screen no cache flush

Sorry yes. My brain kicked into gear about 10 minutes after I hit send. On 
reflection what you propose sounds perfectly reasonable and relatively easy to 
tune. 



Mike