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.
- Fedora 26 Supports Single “Unified” OS Images for Multiple ARM Platforms
- Android-Based RaspAnd OS Updated for Raspberry Pi 3 with Google Play Support
- Canonical Starts Work on a Linux 4.12 Kernel for Ubuntu 17.10 for Raspberry Pi 2
- SolydXK 9 Linux OS Debuts Based on Debian 9 Stretch, Drops Raspberry Pi Support
- Meet ROCK64, a 4K-Capable Single-Board Computer That Can Run Android 7.1, Debian
- Linux 4.12 Release – Main Changes, ARM & MIPS Architectures