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 >
