Re: [patch 00/11] tip/x86/nmi nmi-32/64.c merge v3

From: Thomas Gleixner
Date: Sun May 25 2008 - 12:45:10 EST


On Sat, 24 May 2008, Cyrill Gorcunov wrote:

> This series tries to merge down nmi_32/64.c to nmi.c. It is done by small
> steps in hope it would help to bisect problems (which will appear anyway ;)
> Please review *carefully* since it is NMI what I've touched (and I'm not
> nmi specialist). So I really apreciate _ANY_ comments on this. The series
> is produced over today 'tip' tree branch 'x86/nmi'.

Cyrill,

very good job. I did a short review and found no obvious problems
yet. Will have a closer look when I apply it.

Thanks,
tglx



--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/