On Tue, Jan 14, 2014 at 8:07 AM, Matthew Garrett <mjg59@xxxxxxxxxxxxx> wrote: > On Tue, Jan 07, 2014 at 02:50:35PM -0800, Feng Kan wrote: >> Enable X-Gene platform driver for the X-Gene platform. Remove the >> use of the mask attribute from the reboot dts node. Add support >> for using the ACPI and DTS resource for the reboot driver. > > Why can't you just use the standard ACPI reboot register values in the > FADT? > FKAN: I am removing the acpi patch in the next round. Mainly, I don't see a way for the arm64 kernel to use those values. EFI in x86 have some runtime services that can be triggered to call reset_system, but that code is not available yet in arm64. > -- > Matthew Garrett | mjg59@xxxxxxxxxxxxx -- To unsubscribe from this list: send the line "unsubscribe devicetree" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html