Rockpi4/dev/kernel-mainline
ROCK Pi 4 > Development > Build mainline kernel(5.x)
ROCK Pi 4 is officially supported in mainline kernel since v5.1 thanks to developer Akash Gajjar from Mentor. Below is how to build it on a X86 Linux host PC and run on ROCK Pi 4.