Subject: Re: Apparent kernel bug with GDB on ppc405

From: Benjamin Herrenschmidt <[email-masked]>
Date: Fri, 26 Oct 2007 13:23:25 +1000

> 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.