Help needed: F23 32-bit kernel issue

Adam Williamson adamwill at
Thu Jul 30 18:35:13 UTC 2015

On Thu, 2015-07-30 at 09:43 +0200, Ralf Corsepius wrote:

> AFAICT, so far, it seems to boot (and work) without any apparent 
> immediate issues. So, my wild guess would be on an iso/boot-image 
> composition or tooling issue.

No. It's clearly a kernel bug. It's just that it happens to be in code
which gets hit during installer image boot, but not in any other case
we've found yet.

The bug happens in an image built with a 4.1rc6 kernel, and does not
happen in an image built with a 4.1rc5 kernel, with no other difference
at all between the two images. It's quite clearly a kernel issue.
Adam Williamson
Fedora QA Community Monkey
IRC: adamw | Twitter: AdamW_Fedora | XMPP: adamw AT happyassassin . net

More information about the devel mailing list