pine64-rockpro64: use generated extlinux.conf (MR 3791)

device/community/device-pine64-rockpro64/APKBUILD

@@ -2,19 +2,17 @@
 # Maintainer: Jean Lucas <jean@4ray.co>
 # Co-Maintainer: Bart Ribbers <bribbers@disroot.org>
 pkgname=device-pine64-rockpro64
-pkgver=2
-pkgrel=2
+pkgver=3
+pkgrel=0
 pkgdesc="PINE64 ROCKPro64"
 url="https://postmarketos.org"
 license="MIT"
 arch="aarch64"
 options="!check !archcheck"
-depends="postmarketos-base linux-postmarketos-rockchip u-boot-rockpro64"
+depends="postmarketos-base>=25-r1 linux-postmarketos-rockchip u-boot-rockpro64"
 makedepends="devicepkg-dev"
 subpackages="$pkgname-nonfree-firmware:nonfree_firmware"
-source="deviceinfo
-	extlinux.conf
-	"
+source="deviceinfo"
 
 build() {
 	devicepkg_build $startdir $pkgname
@@ -22,8 +20,6 @@ build() {
 
 package() {
 	devicepkg_package $startdir $pkgname
-	install -D -m644 "$srcdir"/extlinux.conf \
-		"$pkgdir"/boot/extlinux/extlinux.conf
 }
 
 nonfree_firmware() {
@@ -33,6 +29,5 @@ nonfree_firmware() {
 }
 
 sha512sums="
-7457107f8fcf27962474d2625c582eb9e7889d0306e3bee79b98037a0ac81a9a72b61acbfeb865eec4cd8f927c30597234889bd1eac1781b4be9766ed5cb124b  deviceinfo
-ad3a7a7d62af0d1be8a9e3fa93d155b96002a666f475be568902311f76ad2ef306570e49fc2734ef24bd9fc0be849747aa3824917405fa1ab8d22c2ff869d3e3  extlinux.conf
+d99760ee331ceb0ec36a3fb7e7eea8ad0a28cd4098285f6217beeabf398d89e343c8f60ddc6482592b18ee58985ac8ce4feb16f69638b0a13d76eb150b519470  deviceinfo
 "

device/community/device-pine64-rockpro64/deviceinfo

@@ -6,6 +6,7 @@ deviceinfo_name="PINE64 RockPro64"
 deviceinfo_manufacturer="PINE64"
 deviceinfo_codename="pine64-rockpro64"
 deviceinfo_year="2017"
+deviceinfo_dtb="rockchip/rk3399-rockpro64"
 deviceinfo_arch="aarch64"
 
 # Device related
@@ -20,3 +21,5 @@ deviceinfo_screen_height="1080"
 deviceinfo_flash_method="none"
 deviceinfo_sd_embed_firmware="u-boot/pine64-rockpro64/u-boot-rockchip.bin:32"
 deviceinfo_boot_part_start="32768"
+deviceinfo_kernel_cmdline="console=tty0 console=ttyS2,1500000n8 panic=10 coherent_pool=1M video=HDMI-A-1:1920x1080@60 video=eDP-1:1920x1080@60 loglevel=5 PMOS_NO_OUTPUT_REDIRECT"
+deviceinfo_generate_extlinux_config="true"

device/community/device-pine64-rockpro64/extlinux.conf

-timeout 10
-default POSTMARKETOS
-menu title boot prev kernel
-
-label POSTMARKETOS
-  kernel /vmlinuz
-  fdt /dtbs-postmarketos-rockchip/rockchip/rk3399-rockpro64.dtb
-  initrd /initramfs
-  append console=tty0 console=ttyS2,1500000n8 panic=10 coherent_pool=1M video=HDMI-A-1:1920x1080@60 video=eDP-1:1920x1080@60 loglevel=5 PMOS_NO_OUTPUT_REDIRECT