ASUS T100 with 64-bit Ubuntu

[Matt Fleming]

Hi,

Has anyone looked into enabling CONFIG_EFI_MIXED for 64-bit kernels?
This kernel config option allows CPUs that support 64-bit long mode but
ship with a 32-bit UEFI firmware (such as the ASUS T100) to run a 64-bit
kernel, with the necessary thunking taken care of whenever firmware
calls are required.

To get this working out of the box, it'd be necessary to ship a 32-bit
EFI boot loader as part of the 64-bit installation media. Apart from
that, once the kernel is booted, the existing 64-bit userspace should
work fine.

There's a vibrant community on Google+ that I've been informed would be
happy to test things out,

  https://plus.google.com/u/1/communities/117853703024346186936

-- 
Matt Fleming, Intel Open Source Technology Center