All of the kernel, device-tree, mali kernel module you need can be found here: http://share.loverpi.com/board/libre-computer-project/libre-computer-board/It should work on any debian derivatived distro. The other stuff you would possibly need is in /opt folder such as userspace mali blobs and such.Board boots regular UEFI apps from /EFI/boot/bootaa64.efi.
@FransM There's uncommited changes to the device tree for adding some model and vendor strings used by lc_distro_transfer script. Kernel sources can be found here: https://github.com/libre-computer-project/libretech-linux/tree/v4.19/libretech-master-stable-build
Is there any special change to the kernel compare to mainline, or could I use any aarch64 kernel? And with regards to the mali driver, you wouldn't need any if running kernel 5.2 or higher and mesa 19.1, would you?
Welcome to Ubuntu Bionic with Armbian Linux 5.3.8-meson64System load: 0.00 0.01 0.00 Up time: 8 daysMemory usage: 31 % of 966MB Zram usage: 5 % of 483Mb IP: 192.168.1.10CPU temp: 46°CUsage of /: 21% of 7.2G