Re: Apparent kernel bug with GDB on ppc405

Benjamin Herrenschmidt
2007-10-26T03:23:48Z

> This is actually 405. Does that have the same issue?

hrm... I don't remember :-) There -is- something fishy about the icache
on 405 but I don't remember for sure. Try sticking an iccci in there and
tell us if that helps.

Ben.