Index: linux-2.6.16.16/arch/i386/kernel/ipipe-root.c =================================================================== --- linux-2.6.16.16.orig/arch/i386/kernel/ipipe-root.c +++ linux-2.6.16.16/arch/i386/kernel/ipipe-root.c @@ -423,6 +423,8 @@ static __ipipe_exptr __ipipe_std_extable }; #ifdef CONFIG_KGDB +#include + static int __ipipe_xlate_signo[] = { [ex_do_divide_error] = SIGFPE,