1.1 --- a/Config.mk	Thu Apr 09 17:22:44 2009 +0100
     1.2 +++ b/Config.mk	Thu Apr 09 17:31:35 2009 +0100
     1.3 @@ -1,7 +1,7 @@
     1.4  # -*- mode: Makefile; -*-
     1.5  
     1.6 -# A debug build of Xen and tools? TEMPORARILY ENABLED
     1.7 -debug ?= y
     1.8 +# A debug build of Xen and tools?
     1.9 +debug ?= n
    1.10  
    1.11  XEN_COMPILE_ARCH    ?= $(shell uname -m | sed -e s/i.86/x86_32/ \
    1.12                           -e s/i86pc/x86_32/ -e s/amd64/x86_64/)

     2.1 --- a/xen/arch/x86/acpi/cpu_idle.c	Thu Apr 09 17:22:44 2009 +0100
     2.2 +++ b/xen/arch/x86/acpi/cpu_idle.c	Thu Apr 09 17:31:35 2009 +0100
     2.3 @@ -48,7 +48,7 @@
     2.4  #include <public/platform.h>
     2.5  #include <public/sysctl.h>
     2.6  
     2.7 -#define DEBUG_PM_CX
     2.8 +/*#define DEBUG_PM_CX*/
     2.9  
    2.10  static void (*lapic_timer_off)(void);
    2.11  static void (*lapic_timer_on)(void);