Hi Guys,

I have detailed the steps I did to get our ACPI stuff running with EFI/GRUB2.

https://wiki.linaro.org/LEG/Engineering/Kernel/ACPI/ACPIviaEFI

And I have uploaded a demo tree which is our ACPI work on top of the lce_2013 branch of Leif.

https://git.linaro.org/gitweb?p=people/graemegregory/linux.git;a=shortlog;h=refs/heads/acpi-uefi

Thanks

Graeme