Use the dtb-appended kernel file, e.g. postmarketos-exynos4-dtb instead of postmarketos-exynos4, if it is available. This is needed to flash a mainline kernel with appended dtb to isorec devices.
postmarketOS aports
Helpful resources:
Description
Languages
Shell
97%
Python
2%
C
0.5%
Batchfile
0.4%