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.
- Flint OS is a Chromium OS Build for Raspberry Pi & Firefly-RK3288 Boards
- $40 NanoPi K2 Board Powered by Amlogic S905 Processor Competes with ODROID-C2, Raspberry Pi 3
- OpenBSD 6.1 Operating System Officially Released, Adds Kaby Lake & ARM64 Support
- OpenELEC 8.0 Linux OS Officially Out with Raspberry Pi Zero W Support, Kodi 17.1
- Azul Systems’ Zulu Embedded is a Build of OpenJDK for ARM, MIPS, PowerPC, and x86 Compliant with Java SE standard
- Shenzhen Xunlong Releases Two Orange Pi Boards with 64-Bit ARM Processor, 2GB RAM