Alexander, On Wed, 19 Nov 2008, Alexander Beregalov wrote: > > It is 4way X86_64 > The kernel does not boot. > RIP: 0010:[<ffffffff80240061>] [<ffffffff80240061>] > get_next_timer_interrupt+0x11b/0x1f0 Can you please enable: CONFIG_DEBUG_OBJECTS=y CONFIG_DEBUG_OBJECTS_FREE=y CONFIG_DEBUG_OBJECTS_TIMERS=Y and add "debug_objects" to the kernel command line ? Thanks, tglx -- To unsubscribe from this list: send the line "unsubscribe linux-next" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
