I put my favorite Linux distro, Gentoo Linux, on the HiKey board. It’s running pretty well, but due to mali binaries r6p0 not being available yet, graphics on KDE Plasma is quite slow. Can’t wait for the driver to get released, with those it will be EGL accelerated.