With the next kernel -- regardless of whether it be known as Linux 3.20 or Linux 4.0 -- it will contain support for new ARM platforms.
This morning Olof Johansson sent in his various ARM Linux pull requests for the 3.20 merge window. From the series, the new 64-bit ARM Linux platform support includes the Samsung Exynos 7, Freescale LS2085a, and Mediatek MT8173.
- 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