On Sun, 2014-09-28 at 13:50 +0200, Samuel Thibault wrote: > Actually, I'm wondering whether the boot failures reported earlier this month > might be due to this change.
I'm not sure about this, I am one of the people with the boot failures and was able to get my machine to boot by using a non-stripped kernel (gnumach-1.4-486-dbg.gz), for some awkward reason that boots just fine. My bet is that it's a compiler bug of some sort, or perhaps a race condition. > Samuel > -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/1411906978.13315.2.camel@p3-gnu

