Messages in this thread | | | Date | Sun, 25 May 2008 18:44:28 +0200 (CEST) | From | Thomas Gleixner <> | Subject | Re: [patch 00/11] tip/x86/nmi nmi-32/64.c merge v3 |
| |
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
| |