At 10:48 AM +0100 7/18/03, David Brownlee wrote:

:)On Fri, 18 Jul 2003, henry nelson wrote:
:)
:)> On Fri, Jul 18, 2003 at 09:06:00AM +0200, Paul Kranenburg wrote:
:)> > That issue has been resolved just a few weeks ago. An update for the 1.6
:)> > branch has been scheduled.
:)> >
:)> > In fact, it wasn't a cache flush problem after all, but a race condition
:)> > in the MMU management code.
:)>
:)> Thank you.  Thank you.  Thank you.
:)
:)	Can we get an announcement out? :)

OK, I updated the webpages and INSTALL notes.  Thanks, Paul!

  -- MW