Olof Johansson has sent in his large set of pull requests for the ARM SoC/platform updates slated for the in-development Linux 4.12 kernel. Among the ARM SoC/platform changes for Linux 4.12 are:
- The Rockchip RK3399 and RK3288 SoCs are now supported. The RK3399 is used by the Samsung Chromebook Plus while the RK3288 is known for its use in the ASUS Tinkerboard. These devices are supported by the mainline 4.12 kernel.
- i.MX28 "Duckbill" platform support. There are also i.MX6Q platform additions, including some in-flight entertainment systems.
- Debian-Based OSMC Linux Media Center Updated with Better Raspberry Pi Support
- Linux Kernel 3.18.51 Released with MIPS, ARM, and CIFS Changes, Updated Drivers
- LibreELEC-Based Lakka 2.0 Officially Released with Raspberry Pi Zero W Support
- New ARM Support Going Into The Linux 4.12 Kernel
- 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