Going back many months there's been work on adding ACPI support to ARM64/AArch64. That long journey may now be wrapping up with a pending pull request for landing full ACPI support for 64-bit ARM in Linux 4.1.
Will Deacon sent in the "ACPI for arm64" pull request today with there already being 64-bit ARM hardware on the market that supports booting with ACPI tables -- or FDT tables. ACPI for ARM is possible in the latest revisions to the specification and Linaro has been focused on making the Advanced Configuration and Power Interface a reality for this x86 competitor.
- Linux 4.10 Release – Main Changes, ARM & MIPS Architectures
- How to securely connect to a Raspberry Pi from anywhere
- Linux Kernel 4.9.10 Has ARM, x86 and PowerPC Improvements, Updated Drivers
- Linux Kernel 4.4.49 LTS Is a Small Patch with Some ARM Fixes and Updated Drivers
- COM runs Linux on tiny, power-sipping, 64-bit Cortex-A53 SoC
- Linux Kernel 4.9.6 Rolls Out with ARM and AArch64 Improvements, Updated Drivers