On Thu, Jun 29, 2017 at 3:46 PM, Hans de Goede hdegoede@redhat.com 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