On 06/19/2015 05:00 PM, Ingo Molnar wrote: > > That's a way too obscure mechanism just to determine whether the right kernel > config was booted. Please add a printk(), ok? >
Sure, will do. -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in Please read the FAQ at http://www.tux.org/lkml/