Update kernel-configs page

content/post/kernel_configs.md

@@ -1,7 +1,7 @@
 ---
 title: Linux Kernel Configurations
 date: !!timestamp '2015-04-20 00:00:00'
-update: !!timestamp '2018-06-07 11:33:00'
+update: !!timestamp '2019-08-13 14:15:00'
 tags:
     - kernel
 ---
@@ -14,13 +14,16 @@ As I'm used to control everything, here is a list of kernels' configurations I u
 <!--more-->
 
 * [Dreamplug]: latest public Grsecurity kernel 4.9 (before, I used precompiled kernels from [Xilka]);
-* [Cubieboard 2]: Linux 3.4 [custom branch](https://github.com/cubieboard/linux-sunxi.git) for Allwinner A20 (dual-core ARMv7 Cortex-A7 and Mali400 MP2) + upstream patches on 3.4 not merged in the Allwinner tree;
+* [Cubieboard 2]: latest mainline kernel, currently 5.2;
 * [Odroid-C1]: Linux 3.10 [custom branch](https://github.com/hardkernel/linux.git) for the Amlogic S805 (quad-core ARMv7 Cortex-A5 and Mali450) + upstream patches on 3.10 not merged in the Hardkernel tree;
 * [Mirabox]: latest public Grsecurity kernel 4.9;
 * [Cubox-i 4x4]: latest mainline kernel, currently 4.16, running OpenGL applications through etnaviv driver;
 * [Creator CI20]: Linux 3.18 [custom branch](https://github.com/MIPS/CI20_linux.git) for the Ingenic JZ4780 SoC + [upstream patches](https://github.com/nemunaire/CI20_linux.git) on 3.18 not merged in the imgtec tree;
-* [ThinkPad X250]: latest public Grsecurity patches on 4.9 kernel.
-* [Orange Pi PC]: latest mainline kernel, currently 4.17 on headless server.
+* [ThinkPad X250]: latest mainline kernel, currently 5.1.
+* [Orange Pi PC]: latest mainline kernel, currently 5.2 on headless server.
+* [VoltaStream AMP1] & [VoltaStream Zero]: Linux 4.9 [custom branch](https://github.com/polyvection/linux-imx.git) for [i.MX6ULL](http://git.freescale.com/git/cgit.cgi/imx/linux-imx.git) + [upstream patches](https://github.com/nemunaire/linux-imx.git) on 4.9 not merged in the PolyVection tree.
+* [Pine A64]: latest mainline kernel, currently 5.0 on headless server.
+* [Helios4]: latest mainline kernel, currently 5.2 on headless server.
 
 [Gentoo]: http://www.gentoo.org/
 [Dreamplug]: http://www.globalscaletechnologies/p-54-dreamplug-devkit.aspx
@@ -32,3 +35,7 @@ As I'm used to control everything, here is a list of kernels' configurations I u
 [Creator CI20]: http://store.imgtec.com/uk/product/mips-creator-ci20/
 [ThinkPad X250]: https://wiki.gentoo.org/wiki/Lenovo_Thinkpad_X250
 [Orange Pi PC]: http://www.orangepi.org/orangepipc/
+[VoltaStream AMP1]: https://web.archive.org/web/20190323152013/https://voltastream.com/product/voltastream-amp1/
+[VoltaStream Zero]: https://web.archive.org/web/20190323152013/https://voltastream.com/product/voltastream-zero/
+[Pine A64]: https://www.pine64.org/devices/single-board-computers/pine-a64/
+[Helios4]: https://kobol.io/