On Mon, 2008-11-17 at 15:34 -0500, Steven Rostedt wrote: > Note, I was using a default config that had CONFIG_IRQSTACKS off and > CONFIG_PPC_64K_PAGES on. For one, we definitely need to turn IRQSTACKS on by default ... In fact, I'm pondering just removing the option. Cheers, Ben.