#define CONFIG_DEBUG_KERNEL 1