>Turning on PRINTK_TIME causes us to die in early boot when sched_clock() >tries to access per-cpu data which isn't set up yet.
When did this break? I tried out PRINTK_TIME when it was first added and it worked for me then (but since it didn't look very useful to me I left it off in the config files that I use ... so I haven't tried it since. -Tony - To unsubscribe from this list: send the line "unsubscribe linux-ia64" in the body of a message to [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html
