> >data fault: pc=0xf000a1c0 addr=0xf01d6ff8 sfsr=3a7<FAV,OW>
> >panic: kernel fault
> >halted
> 
> Paul's latest commit fixed it...


It did?   My last commit just repaired a gcc warning; previous changes
were done three days ago.

btw. I couldn't reproduce this failure on the sun4m machines I tested on.
I'm curious what actually caused it.

-pk