1ff8393c4b129ed9ac7d8b61ca1c5f034ad4b06e
While it doesn't make sense to package a mainline kernel for FP1 (only UART and basic SoC components supported), it's good to include the dtb name in deviceinfo so external tools can use it.
postmarketOS aports
Helpful resources:
Languages
Shell
95.8%
Python
2.5%
C
1.2%
Batchfile
0.3%
Jinja
0.2%