Mainline kernel packaging for the PinePhone devkit.
The provided kernel image (Image), device tree support (.dts) and kernel modules (linux_modules.tar.bz2) are packaged on OBS into a RPM package: https://build.merproject.org/package/show/nemo:devel:hw:pine:dontbeevil/droid-hal-kernel-dontbeevil