manuti

installing armbian-config and the full desktop on top of the minimal image runs like a champ on this La Frite! Thanks so much guys for this awesome work (in progress :D)
 
and temperatures around 15C (on idle, ~60C on LibreComputer current desktop images) less than with the desktop images direct from LibreComputer, WOW! Even overclocked to 1.5GHz! You guys rock for a nightly image!

I will double check this, but my "Le Potato" board seems to have no trouble with 4K screens (I don't often test this feature, it's my main monitor, I don't have a second test monitor so the test is a little disruptive of my work flow)
 
[edit[ It took it a long time to bring up the desktop on this 5.3 RC kernel, but Le Potato:
 

Panfrost instructions Armbian
 
This tutorial explains how to build an Armbian image with panfrost. And what else you need to make it work.
These are early drivers. Many things don't work yet. Only OpenGL 2.1 works now.
 
You need to build an image with kernel 5.2 or later.
For this you need an x86 pc with Ubuntu 18.04 or a virtual Ubuntu 18.04 x86 image.

First install git, then clone the build folder from Armbian, and enter the build directory.
 
apt-get -y -qq install git git clone --depth 1 https://github.com/armbian/build cd build Now run the script with EXPERT=yes so you can choose to build a dev image.
sudo ./compile EXPERT=yes Choose "Full OS image for flashing" Then "Show a kernel configuration menu before compilation" Choose your board. If it's not in the regular list, look in "Show SCS/WIP/EOS/TVB". Choose Development version kernel configuration -> device drivers -> graphic drivers -> panfrost  
Let it run until it's finished. The image will be in the /build/output/images
Burn it to an SD-card/eMMC/...
 
Now we need to install all the needed software
sudo apt install flex bison python3-mako libwayland-egl-backend-dev libxcb-dri3-dev libxcb-dri2-0-dev libxcb-glx0-dev libx11-xcb-dev libxcb-present-dev libxcb-sync-dev libxxf86vm-dev libxshmfence-dev libxrandr-dev libwayland-dev libxdamage-dev libxext-dev libxfixes-dev x11proto-dri2-dev x11proto-dri3-dev x11proto-present-dev x11proto-gl-dev x11proto-xf86vidmode-dev libexpat1-dev libudev-dev gettext glmark2 glmark2-es2 mesa-utils xutils-dev libpthread-stubs0-dev ninja-build bc python-pip flex bison cmake git valgrind llvm llvm-8-dev python3-pip pkg-config zlib1g-dev wayland-protocols Download and install meson
wget http://ftp.de.debian.org/debian/pool/main/m/meson/meson_0.51.1-1_all.deb sudo dpkg -i meson_0.51.1-1_all.deb Download and install mesa DRM
git clone git://anongit.freedesktop.org/mesa/drm cd drm meson build --prefix=/usr ninja -C build sudo -E ninja -C build install cd .. Download and install mesa graphics
git clone git://anongit.freedesktop.org/mesa/mesa cd mesa meson -Ddri-drivers= -Dvulkan-drivers= -Dgallium-drivers=panfrost,kmsro -Dlibunwind=false -Dprefix=/usr build/ ninja -C build/ sudo ninja -C build/ install REBOOT
 
Optionally, update sdl (recommended)
git clone https://github.com/SDL-mirror/SDL.git cd SDL mkdir build cd build cmake ../ make -j6 sudo make install REBOOT
 
Only thing that works ok with it is supertuxkart, to install it.
sudo apt install supertuxkart
 
Panfrost - Linux games working from repo
SuperTuxKart - Works well
ExtremeTuxRacer - lots of glitches
AssaultCube - lots of glitches
 
Instructions by Salvador Liébana & NicoD

I made an archive/backup when you said down.nu is going to be closed. And also more or less forget about  

@manuti No, I really didn't. Good to know.

Hi, your images @jernej are right here https://dl.armbian.com/_openelec/ I don't know if you know this or not.
Regards

Hi!
 
HW video decoding on mainline kernel is possible, but in most cases you have to do some kernel patching yourself and use special library which provides VAAPI or use modified ffmpeg libraries. MPEG2 decoding is possible with kernel 5.0 or 5.1 (not sure), basic H264 decoding will be possible with kernel 5.3 and HEVC decoding will probably come with kernel 5.5 (patches already exist). Note that H264 and HEVC codecs are feature incomplete currently. However, I did some improvements for LibreELEC and there most H264 and HEVC videos work. Patches are available on LibreELEC github but are incompatible with VAAPI library, so only option is to use modified ffmpeg.
 
Regarding memory consumption, please note that with OrangePi Lite you have only 512 MiB of RAM which is a bit low. LibreELEC for that reason doesn't support devices with less than 1 GiB of RAM. Consider following calculations for memory requirements, no matter which kernel you use:
1. Multiple variants of 4K and 1440p resolutions exist, so I'll assume that 4K means 4096x2160 (same as on my LG TV) and 1440p means 2560x1440
2. kernel allocates one XRGB (4 bytes per pixel) buffer for user interface (no matter if you're using window manager or not), so for that you need 4096*2160*4 ~ 34 MiB of CMA memory
3. video is decoded to NV12 or NV21 formats and both take 1.5 byte per pixel, that means 2560*1440*1.5 = 5.27 MiB of CMA memory per single frame
4. worst case for H264 and HEVC is that you need 16 reference frames to properly decode current frame, which means additional 5.27 * 16 ~ 84 MiB of CMA memory
5. VPU needs additional scratch buffers per frame. Size of those buffers depends on codec features used, but for H264 is typically about 1/4th of multiplied width and height, so in worst case (1 + 16)*2560*1440/4  ~ 15 MiB of CMA memory
6. VPU needs some other scratch buffers, but they are small, about 1 MiB in total
7. you also need additional CMA memory for providing encoded data to VPU, but memory consumption for that heavily depends on userspace library/player implementation. Hard to give any estimation, so let's use 20 MiB.
 
Final estimation for worst case display + VPU CMA consumption for 4K display and 1440p video: 34 + 5.27 + 84 + 15 + 1 + 20 ~ 160 MiB. You also have to consider that other devices may use CMA memory at the same time. In LibreELEC, CMA memory size is set to 256 MiB because so much is needed for decoding 4K videos.
 
Hopefully that gives you perspective how much memory is needed for H264/HEVC video decoding.
 
I won't touch (use) 3.4 kernel anymore, but I can help you with patching mainline kernel for better H264 and/or HEVC support and bring up ffmpeg based solutions (that includes mpv), if you want.

In the old days, I provided OpenELEC images with 3.4 kernel (https://github.com/jernejsk/OpenELEC-OPi2) and it worked with 4K videos on 1080p display. Sadly, images don't exist anymore and source doesn't build anymore. Be aware, I used CedarX library instead of libvdpau-sunxi.
 
I don't think I ever make it work with 4K screens, mostly because I didn't have such screen at the time.

Added a wip target to the build system, it is dev kernel only, and builds just fine, however booting is another issue I've not spent a lot of time with yet:
 
Found U-Boot script /boot/boot.scr 3048 bytes read in 11 ms (270.5 KiB/s) ## Executing script at 08000000 154 bytes read in 5 ms (29.3 KiB/s) ## Error: Can't overwrite "ethaddr" himport_r: can't insert "ethaddr=00:50:43:84:fb:2f" into hash table 8101414 bytes read in 217 ms (35.6 MiB/s) 16093192 bytes read in 416 ms (36.9 MiB/s) libfdt fdt_check_header(): FDT_ERR_BADMAGIC No FDT memory address configured. Please configure the FDT address via "fdt addr <address>" command. Aborting! 232 bytes read in 26 ms (7.8 KiB/s) Applying kernel provided DT fixup script (meson-fixup.scr) ## Executing script at 34000000 ## Loading init Ramdisk from Legacy Image at 13000000 ... Image Name: uInitrd Created: 2019-08-12 5:04:59 UTC Image Type: AArch64 Linux RAMDisk Image (gzip compressed) Data Size: 8101350 Bytes = 7.7 MiB Load Address: 00000000 Entry Point: 00000000 Verifying Checksum ... OK ERROR: Did not find a cmdline Flattened Device Tree Could not find a valid device tree The device tree is there in the /boot/fdt/amlogic folder, and the script is the same for Le Potato/ Khadas Vim/Nanopi K2 and works.
 
[some minutes elapse]
 
I think I found it, the printenv (had to figure out the UART, not an easy task) shows me
 
fdtfile=libre-computer/aml-s805x-ac/platform.dtb
 
...which is completely wrong in a normal context, where it should match the linux device tree:  meson-gxl-s805x-libretech-ac.dtb
 
I'll try to figure that out later.
 
 

Hi all.
I've discovered Vivaldi Browser for arm. A fork of Chromium.
There is a armhf version and a arm64 version.
Youtube playback with this is a lot better. I've tested it on the NanoPi M4.
The same video in Chromium had 2/3 dropped frames. (10 frames/s) 1080p video
With Vivaldi browser you get 1/3 dropped frames. (20 frames/s)
A lot better experience.

Here you can download it.
https://vivaldi.com/nl/blog/snapshots/vivaldi-1-15-rc-2/
 
Here the source where I found it. From Meveric @ Odroid. Also explanation of how to install. No wget, and change filename to the file you've downloaded for gdebi. Or use gdebi package installer.(not tested)
https://forum.odroid.com/viewtopic.php?t=29229

I tried in armhf on the M4 in armhf Lubuntu, worked great. Also tried the arm64 in Armbian Stretch. Also great.
I didn't find any posts about Vivaldi in the Armbian forum. I thought it could be helpful.
Cheers

Fine that it worked. 
So armbian is using the network-manager you can also use the command nmtui to configure your network devices
(BUT keep in mind to enter the networkadress for eth0/wlan0 like 192.168.6.76/24)
 
Welcome to armbian

About point #3, your Orange PI PC is not stuck at kernel 3.0.
H3 chip is not the fastest nor the newest, but currently is one of the best supported in mainline kernel. There is an enduring work-in-progress for hardware decoding on mainline kernel which is progressing nicely.
It looks like LibreElec will soon include some official H3 support. All the main peripherals are working well and 3D acceleration is available.
As for desktop replacement, the problem with the H3 is the lacking of the thermal driver, so frequencies of the SoC are set in a conservative fashion in armbian. The experience may suffer from this.
You may think to use a small heatsink and drive the SoC to its rated 1.4Ghz and see if it satisfactory for you. IMHO it is not powerful enough for a decent desktop replacement, but you may try and see if it suits your needs.

I've got a pocket C.H.I.P. and its just such a neat device---I still haven'
t thought of a good use for it.   The Next Thing guys had a lot of style.. 
 

I really like both generation Opi Ones.  a lot of bang for buck.....both slighty lacking in the USB department tho... just one more port would have been great.  (OTG doesnt count)

That makes me think about the fact I also bought a Tinker Board for a friend with 7" display and rii i8 mini keyboard. I guess it has never been used, since he never asked how to do anything with it.
That's 3 of those horrible Tinker Boards I wasted my money on, and they're so expensive...

And also a rpi3B for my nephew with RetroPie installed and 128GB of games. No need to say he loved it. Until he got a Playstation(I don't know which number).

OrangePi Zero: My very first SBC. I do not really remember why I bought it but it started with DietPi. It served Pihole for my network. Then Dietpi dropped their support for OrangePi boards and Pihole dropped their support for older Debian distributions. So a new OS was needed and that is the reason I landed her and I have to tell I learned a LOT about all the things thanks to Armbian OrangePi One Plus: Well the main reason were the quite interesting specifications and the low price. Even though this board (or Allwinner H6 at all) is poorly designed I am not that disappointed about it. It very rarly failed on me, worked most of the time really nice. It serves data sharing, another One Plus is for testing purpose of new images and features. OrangePi One: As a nice replacement for the OrangePi Zero. Better voltage regulator and no crappy wireless onboard for the same price.Two of those I prepared with Armbian and Pihole and gave them away to friends. In the meantime I have another pair of Ones to prepare and give them away somewhen in the future as well. Kind a to spread the word about SBCs, Pihole and last but not least Armbian. Well... that's it. Quite a short list but much text ¯\_(ツ)_/¯  A board I always wanted to have but did not have a chance yet is the OrangePi Zero Plus. GBe and Allwinner H5 SoC. Maybe sometime in the future...

Many of then barely used ... but always searching for the definitive SBC:
Raspberry Pi B everything stars here.  Raspberry Pi B+ : Solving many issues from the previous version. Raspberry Pi A+ : Really low power consumption, this will be a good starting point to something with dual core balancing power & consumption.  Raspberry Pi 2B the Good Raspberry Pi 3B the Ugly Raspberry Pi Zero :  Main Kodi OSMC board, really, I don't need more. Raspberry Pi Zero W : Used as a CCTV. Raspberry Pi 3B+ the Bad ODROID-U3 : The best SBC I have with eMMC and 2GB. But today without updates from hardkernel. ODROID-C1 : Many problems before C1+ arrive ... good board but not better than U3. UG802 RK3066 : Reconverted Android TV with Picuntu, used on a weekly basis sharing more than 1000 small torrents and waiting for a death that never arrives. Banana Pi PRO : main home NAS with last armbian and OMV, Plex and Torrents. SATA & Gigabit marks the difference. Orange Pi One : When I know this board has armbian support I decided to buy only because is cheap and not hopping so much ... but is a really good board for the price. Orange Pi Lite : After having OPi One I want to try this with Wi-Fi and more USB. Used with Lakka as Retrogame platform. Orange Pi PC : Looking for a substitute or back-up of my Banana Pi PRO or the Lakka. Good CPU performance but never used a lot. Orange Pi PC2 : Again looking for a second NAS board. Good performance and net bandwidth. With SSD and UASP can be a good and cheap board to be used as NAS or light server. Beelink X2 : after the success, in my opinion, I'm always searching for good Android TV box to be converted in a cheap Linux PC. This was a good one, difficult to have the Wi-Fi up and running in the beginning. This board shows me also the TV box root problem: same name but different hardware (Wi-Fi, NAND, eMMC, RAM, ...). MXQ PRO+ 4k : received to test it. Appreciate the @balbes150 effort but many boards with different hardware and I never have the Wi-Fi on my unit working (with many hours spent on this). DragonBoard 410c : I wined on a raffled!!! Really good board. With the last Linaro Debian Buster it feels like a light PC but without a proper case, I can use normally. NanoPi Neo2 : Another try to have a small NAS. Good board overall but the position of cables is not the better to be used as a server. Please, FriendlyCore thinks on having power, network and 1 x USB in one side. Sunvell R69 : I like small boards and small TV boxes. The case of Android TV boxes is one of my main reasons to love this piece of cr*p. A pity this one is more or less good but the Wi-Fi is a real sh*t only capable of keeping SSH connexions.  La Frite: last addition to the crew. Only booted once. I'm thinking in use as my new Kodi center when the OS or LibreElec will be released. C.H.I.P. the $9 computer: I bought with a lot of hopes in my time and projects. I like the Chrome use to flash the board but when the company disappears I know this is the wrong approach. Good ideas in this board: the female GPIO with pinout printed, the built-in battery control, ... Omega2 : is another kind of devices I only used sometimes to be a Wi-Fi Gateway. I think is a really good device for IoT projects.

Many of then barely used ... but always searching for the definitive SBC:
Raspberry Pi B everything stars here.  Raspberry Pi B+ : Solving many issues from the previous version. Raspberry Pi A+ : Really low power consumption, this will be a good starting point to something with dual core balancing power & consumption.  Raspberry Pi 2B the Good Raspberry Pi 3B the Ugly Raspberry Pi Zero :  Main Kodi OSMC board, really, I don't need more. Raspberry Pi Zero W : Used as a CCTV. Raspberry Pi 3B+ the Bad ODROID-U3 : The best SBC I have with eMMC and 2GB. But today without updates from hardkernel. ODROID-C1 : Many problems before C1+ arrive ... good board but not better than U3. UG802 RK3066 : Reconverted Android TV with Picuntu, used on a weekly basis sharing more than 1000 small torrents and waiting for a death that never arrives. Banana Pi PRO : main home NAS with last armbian and OMV, Plex and Torrents. SATA & Gigabit marks the difference. Orange Pi One : When I know this board has armbian support I decided to buy only because is cheap and not hopping so much ... but is a really good board for the price. Orange Pi Lite : After having OPi One I want to try this with Wi-Fi and more USB. Used with Lakka as Retrogame platform. Orange Pi PC : Looking for a substitute or back-up of my Banana Pi PRO or the Lakka. Good CPU performance but never used a lot. Orange Pi PC2 : Again looking for a second NAS board. Good performance and net bandwidth. With SSD and UASP can be a good and cheap board to be used as NAS or light server. Beelink X2 : after the success, in my opinion, I'm always searching for good Android TV box to be converted in a cheap Linux PC. This was a good one, difficult to have the Wi-Fi up and running in the beginning. This board shows me also the TV box root problem: same name but different hardware (Wi-Fi, NAND, eMMC, RAM, ...). MXQ PRO+ 4k : received to test it. Appreciate the @balbes150 effort but many boards with different hardware and I never have the Wi-Fi on my unit working (with many hours spent on this). DragonBoard 410c : I wined on a raffled!!! Really good board. With the last Linaro Debian Buster it feels like a light PC but without a proper case, I can use normally. NanoPi Neo2 : Another try to have a small NAS. Good board overall but the position of cables is not the better to be used as a server. Please, FriendlyCore thinks on having power, network and 1 x USB in one side. Sunvell R69 : I like small boards and small TV boxes. The case of Android TV boxes is one of my main reasons to love this piece of cr*p. A pity this one is more or less good but the Wi-Fi is a real sh*t only capable of keeping SSH connexions.  La Frite: last addition to the crew. Only booted once. I'm thinking in use as my new Kodi center when the OS or LibreElec will be released. C.H.I.P. the $9 computer: I bought with a lot of hopes in my time and projects. I like the Chrome use to flash the board but when the company disappears I know this is the wrong approach. Good ideas in this board: the female GPIO with pinout printed, the built-in battery control, ... Omega2 : is another kind of devices I only used sometimes to be a Wi-Fi Gateway. I think is a really good device for IoT projects.

I'll for sure forget some of them.
It all started with the Raspberry Pi2B(4 years ago now) ... and then ...
Odroid C2                         (For 3 years my favorite. Clocked at 1.75Ghz, with 128Ghz eMMC and ram OC it's amazingly fast. Low power consumption, good video playback(low display resolution), great gaming on it. Still use it as my SBC laptop, but the VIM3'll replace it Raspberry Pi3B                 (Not better than the pervious model. Dissapointed by it) Raspberry Pi Zero (+ 2 x Zero W)  (was handy, had build a Pi0Camera with it and an audio recorder, got in dissuse) Orange Pi+2                     (hated it, I still believed the 1.6Ghz bs, afterwards started to love it for what it is) Tinker Board (x2)             (Worst buy ever, too expensive for what it's. First broke, I was so stupid to buy another one without using it much) Khadas VIM2 Max           (Too slow for what it is. Otherwise a good designed board when used for what it's good) Odroid XU4                     (Loved it. It was my 2nd desktop with a HDMI-hub so I could switch to it when my PC was bussy. Amazing performance and great games. But a lot of issue's too) Rock64                            (a lot of issue's, nice on paper but doesn't deliver it's promises) Banana Pi M2 Zero          (nice little board, runs too hot to be useful, but had a lot of fun with it) NanoPC T3+                    (Love it a lot. Amazing for Blender renders, at a low power consumption. But single core performance is too low, should be default overclocked to 1.6Ghz in my opinion. It can handle it and cooling solution is sufficient) Raspberry Pi 3B+            (What a garbage board. DDR2 with a ok SoC is a bad combination. Bad power delivery, not very useable) NanoPi M4                      (My favorite until the VIM3 came, all-round a great board. Too bad there's a lack of Linux drivers for great gaming on it) Rock Pi 4B                       (First impression was great. But that went away after a while. Many software issues. I hate that I can't reach my eMMC with the big heatsink on) NanoPi DUO2                 (Still need to review it, but my first impression wasn't too good. Bad thermals, no hardware video encoding for the camera. This should be fixed by now, maybe a next video someday...) Orange Pi 3                    (Ok SoC, badly designed board) Pine H64 model b          (Ok SoC better designed board, it's their second try tho) Odroid N2                      (Great board, amazing performance and no fan needed. But runs at 12V so I can't run it on my power banks. I use it headless with VNC to do render jobs together with the NanoPC T3+) Nitrogen8M Mini           (I don't know yet, no HDMI and all proprietary connectors for everything. It is an industrial board for KIOSK's, but I'd like to see HDMI to set it up easily. It does have great audio assets, amplifier, audio in-out)
Khadas VIM3                 (My newest favorite. What a performance for such low consumption at 5V. I've got the Basic, so much want the Pro... It's perfect to take with me to do heavy video render tasks. I love it...) Raspberry Pi4B             (My biggest surprise ever. Not thinking too much of it. But it's a lot more than I thought. Performs amazing.  But still has its faults. I think that's it. In chronological order I bought them.
The first 2 were great boards that I still use a lot. But then I bought a lot of them that never delivered what they promissed. Only the XU4 and NanoPC T3+ were great.
I started to get them for free to review starting with the NanoPi M4, and those were again very good.  Only bought the Odroid N2 after that.
Good I review SBC's, I'm saving myself a lot of money now I've spend enough in the past on them.
Cheers
 

My list of arm boards was too long to make it a tasteful signature so here's some highlights:
 
My List of geek Stuff
3xOpi Plus2e - hashi cluster servers Opi Prime - main work area (screen, ssh vim, git) OrangePiOne plus - hashi cluster worker Le Potato - tester Atomic PI - desktop Tritium-h5 - tester Opi PC2 - tester Opi3 - tester Espressobin - tester Helios 4 - 2ndary NAS Orange Pi R1 - tuyaconvert Opi Lite - retrorangepi R69 retrorange pi Opi One - root cause of my SBC and Armbian addiction Frankendell i7-2600 - garage computer and build box Dual Xeon E5-2650 v3 - new build server Synology 1815+ Primary NAS Edge Router Lite - Router
   
Do you want to share highlights of your Arm empire?

Yes, I flashed from the USB into the eMMC using an included utility with this command:
 
$ sudo lc_distro_transfer libre-computer/aml-s805x-ac /dev/mmcblk0

OK GPU is working actually, had to input this command to get it to work. Part of it is in the readme.php in the repository where the images have been uploaded by the guys @ LoveRPi.com
 
sudo update-alternatives --install /usr/local/lib/aarch64-linux-gnu/mali mali /opt/libre-computer/model/aml-s805x-ac/mali/lib/aarch64-linux-gnu/gl4es 100
 
then using sudo update-alternatives --config mali chose the gl4es entry just added
after that glxinfo and glxgears worked! FPS counter and everything.
 
Video: 
 
 
 
 
Debian images README: http://share.loverpi.com/board/libre-computer-project/libre-computer-board/image/debian/README.php
 
Total Linux noob by the way but I like to tinker. README.php has no indication of this gl4es entry, although it is included in the image.

Samsung SSD 840 Pro 256 GB @ Cubietruck iozone -e -I -a -s 100M -r 4k -r 16k -r 512k -r 1024k -r 16384k -i 0 -i 1 -i 2 Kernel 3.4.y random random reclen write rewrite read reread read write 102400 4 10714 15285 31921 32280 16328 14767 102400 16 21757 25767 57812 58010 45695 25201 102400 512 33403 32429 128245 116062 109591 33595 102400 1024 34846 35240 129965 131121 129515 35227 102400 16384 37895 37918 207564 204627 204340 38019 Kernel 4.19.y with SATA improvement patch 102400 4 22876 32704 37686 39143 22571 30990 102400 16 54254 69325 94749 97225 61354 68529 102400 512 110670 113325 190346 163677 186012 112679 102400 1024 113971 115928 206044 207406 184936 115069 102400 16384 127084 127588 243400 253305 252148 127611 without 102400 4 18053 22336 45249 46338 24860 22292 102400 16 30692 32188 106052 106577 71526 32746 102400 512 39632 39978 186433 185444 178097 39939 102400 1024 39860 40163 189900 191076 188446 40098 102400 16384 38875 41508 241939 244088 243405 41314  

As in so many other cases, the board I'd recommend for this task is Odroid XU4, specially since it is selling for $50 right now. You already have fully working GPU drivers for a recent 4.14 kernel, and even a distro focused on gaming (see this video from @NicoD)

Right, I forgot to mention that one With the RK3399's the most powerful one. 

So finally we have the first version of:
The UN-official, UN-supported, etc...
RK3399 MEDIA TESTING SCRIPT
 
This is the first release of the RK3399 media testing script. The script provides a functionality similar to its RK3288 equivalent:
Installing all the libraries and system configurations necessary for GPU accelerated X desktop, Chromium WebGL, full VPU video play acceleration up to 4k@60 10-bit HEVC (the maximum supported by the SoC), and GLES 3.2 / OpenCL 1.2 support. Three video players supporting full VPU acceleration (RKMPP) and KMS display (GBM or a X11 DRM "hack", as described by the authors), namely: MPV, Gstreamer and Kodi. Two example programs using the OpenCL functionality: Examples form the Arm Compute Library, and a GPU crypto miner (an old version, but small and simple). A library that will act as an OpenGL to OpenGL-ES wrapper, allowing you to run programs that use OpenGL 1.5-2.0. Two additional features, that have no big interest from the Armbian development prospective, but I find them interesting to play with:  Chromium browser with support for Flash and DRM-protected commercial web video streaming (tested with Amazon Prime, should also work with Netflix, Hulu, etc.), and a simple Pulseaudio GTK equalizer using LADSPA.  
Here is a more thorough documentation:
 
>>> DOWNLOAD LINK <<<
 
Prerequisites:
You need a fresh Armbian Bionic desktop image with default kernel installed. IMPORTANT NOTE: For Kodi to work, you need to use a nightly kernel for most RK3399 boards. Otherwise, it will crash the system. I'm not sure about RockPro64, it will probably work with the stable image. Please test and let me know, I don't have the board.  
Instructions:
Download the file above Untar it: tar xvf media-rk3399_*.txz cd media-script ./media-rk3399.sh  
Notes:
This script is not officially supported by the Armbian project. It is just a community effort to help the development of the main build, by experimenting with a possible implementation of the media capabilities of this particular SoC. Therefore, questions about the script should not be laid out as support requests, but as commentaries or community peer-to-peer assistance. That being said, all commentaries/suggestions/corrections are very welcome. In the same way, I will do my best to help solve any difficulty that may arise regarding the script.  
Enjoy!