platforms: add pinebookpro

mklive.sh

@@ -102,7 +102,7 @@ usage() {
 	                    Set the live.shell kernel argument to change the default shell of anon.
 	 -C "<arg> ..."     Add additional kernel command line arguments
 	 -P "<platform> ..."
-	                    Platforms to enable for aarch64 EFI ISO images (available: x13s)
+	                    Platforms to enable for aarch64 EFI ISO images (available: pinebookpro, x13s)
 	 -T <title>         Modify the bootloader title (default: Void Linux)
 	 -v linux<version>  Install a custom Linux version on ISO image (default: linux metapackage).
 	                    Also accepts linux metapackages (linux-mainline, linux-lts).

platforms/pinebookpro.sh

@@ -0,0 +1,4 @@
+PLATFORM_NAME="Pinebook Pro"
+PLATFORM_PKGS=(pinebookpro-base)
+PLATFORM_CMDLINE="console=ttyS2,115200 video=eDP-1:1920x1080x60"
+PLATFORM_DTB="rockchip/rk3399-pinebook-pro.dtb"