On Thu, Jun 29, 2017 at 3:46 PM, Hans de Goede <hdegoede@xxxxxxxxxx> wrote: So you're running a 32 bit Fedora? Interesting I did not know we > support 32 bit UEFI systems in Fedora. > Adam Williamson's Fedlet installer was 32-bit. When Adam got busy doing other things, I built a few of my own 32-bit kernels from the Fedora source package for my ASUS T100TA. When I ran into some issues I couldn't resolve, I installed 64-bit Debian 8-something using the Multiarch installer, and I update the kernel once in a while from the ASUS T100TA Google Group (an unofficial Ubuntu effort). Looking forward to 4.12. Mike _______________________________________________ kernel mailing list -- kernel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to kernel-leave@xxxxxxxxxxxxxxxxxxxxxxx
