Software

Armbian

Armbian is a Linux distribution designed for ARM boards. They are usually Debian or Ubuntu flavored.

Download:

Default credentials
root1234

Linux BSP SDK

The Linux BSP Kernel version 4.9

Download:

Linux BSP Kernel ver 3.10 Lichee ver 1.1

Linux BSP Kernel ver 3.10 Lichee ver 1.0

Mali-T720 driver

A good DRM PowerPoint presentation by Free Electron here and the DRM video presentation by Free Electron here.

32-bit Wayland MALI Driver: