At 11:34 AM -0700 7/7/02, you wrote:

:)At 11:26 AM 7/7/2002, Michael Wolfson wrote:
:)>At 10:47 AM -0700 7/7/02, Matt Thomas wrote:
:)>
:)>:)This is because the OFB cache uses BAT 12 which overlaps with the USER_SR
:)>:)since it was moved down to 12 in order to increase the amount of kernel
:)>:)virtual adress space to 512MB.
:)>
:)>Is someone going to fix this, or should we just mark it as broken for the
:)>present?
:)
:)I just fixed it.

OK, cool.  Is there any reason it's not the default yet?

  -- MW