--- zzzz-none-000/linux-2.6.19.2/arch/um/drivers/mconsole_user.c 2007-01-10 19:10:37.000000000 +0000 +++ davinci-8020-5505/linux-2.6.19.2/arch/um/drivers/mconsole_user.c 2007-01-11 07:38:19.000000000 +0000 @@ -14,7 +14,6 @@ #include #include #include "user.h" -#include "sysdep/ptrace.h" #include "mconsole.h" #include "umid.h" #include "user_util.h"