On Thu, 15 Feb 2007 09:49:15 -0600I'm not 100% sure, to tell you there truth. I know there are ARM, PPC,
Corey Minyard <minyard@xxxxxxx> wrote:
So I see the following options besides what's already there:
1) add asm/kdebug.h and DIE_NMI_POST to everything that might have an IPMI implementation.
2) use CONFIG_X86 to tell if NMI will work, since that's the only thing it will work on at the present.
I don't have any way to know how different systems have implemented that feature, so I can't actually implement it for the various architectures (plus I don't have any of those boards). So maybe #2 is the best?
I tend to think that #1 is the best option - it keeps things consistent
and it gives arch/board maintainers a framework in which to add the
support code at their leisure. But it's something which would be best
worked through with the affected arch maintainers, please.
Which architectures are we talking about here? ia64 and ppc?