Re: [PATCH 06/19] ARM64 / ACPI: Parse FADT table to get PSCI flags for PSCI init

On Wed, Aug 20, 2014 at 04:29:44PM +0100, Catalin Marinas wrote: > On Wed, Aug 20, 2014 at 04:00:28PM +0100, Grant Likely wrote: > > On Thu, 24 Jul 2014 21:00:12 +0800, Hanjun Guo > > wrote: > > > @@ -345,13 +378,19 @@ int __init psci_init(void) > > > const struct of_device_id *matched_np; > >

Re: [PATCH 19/19] Documentation: ACPI for ARM64

On Fri, Aug 15, 2014 at 09:49:44PM +0200, Arnd Bergmann wrote: > What would be the process to get a clarification into the next version > of ACPI that makes them more distinct? > If you work for a UEFI member you can sign up to become a ASWG member on the UEFI webpage. You can then submit at ECR (