Re: Apparent kernel bug with GDB on ppc405
From: Benjamin Herrenschmidt <benh@kernel.crashing.org>
Date: 2007-10-26 03:23:34
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.