Hi Sam, Le Tue, 12 Feb 2008 14:04:28 +0100, Sam Ravnborg a écrit : > We already have this in arch/x86/Kconfig.debug: Oops, my usual "find . -name Kconfig" missed it. Thanks for pointing it out! > It may need a small update if this is valid for both 32 and 64 bit. Doesn't seem so: there's only a doublefault_32.c, no doublefault_64.c. However, I don't know the details of x86_64. Thanks, Thomas -- Thomas Petazzoni, Free Electrons Free Embedded Linux Training Materials on http://free-electrons.com/training (More than 1500 pages!)