samsung-p4note: new device (MR 2908)

device/testing/device-samsung-p4note/APKBUILD

+# Reference: <https://postmarketos.org/devicepkg>
+pkgname=device-samsung-p4note
+pkgdesc="Samsung Galaxy Note 10.1"
+pkgver=1
+pkgrel=0
+url="https://postmarketos.org"
+license="MIT"
+arch="armv7"
+options="!check !archcheck"
+depends="
+	linux-postmarketos-exynos4
+	mesa-dri-gallium
+	mkbootimg
+	postmarketos-base
+"
+makedepends="devicepkg-dev"
+subpackages="$pkgname-nonfree-firmware:nonfree_firmware"
+source="deviceinfo"
+
+build() {
+	devicepkg_build $startdir $pkgname
+}
+
+package() {
+	devicepkg_package $startdir $pkgname
+}
+
+nonfree_firmware() {
+	pkgdesc="WiFi and Bluetooth firmware"
+	depends="
+		firmware-samsung-midas-bluetooth
+		firmware-samsung-midas-wifi
+		"
+	mkdir "$subpkgdir"
+}
+
+sha512sums="
+b2567891b55aaf9a004b597687e22330fd8dc2bc9a84fd638f9a88c05d5f1656a35323adad14ffdc9cec304d043ce97b29396decab25ed801a3fab2eccd9623f  deviceinfo
+"

device/testing/device-samsung-p4note/deviceinfo

+# Reference: <https://postmarketos.org/deviceinfo>
+# Please use double quotes only. You can source this file in shell
+# scripts.
+
+deviceinfo_format_version="0"
+deviceinfo_name="Samsung Galaxy Note 10.1"
+deviceinfo_manufacturer="Samsung"
+deviceinfo_codename="samsung-p4note"
+deviceinfo_year="2012"
+deviceinfo_append_dtb="true"
+deviceinfo_dtb="exynos4412-p4note-n8010"
+deviceinfo_arch="armv7"
+
+# Device related
+deviceinfo_gpu_accelerated="true"
+deviceinfo_chassis="tablet"
+deviceinfo_keyboard="false"
+deviceinfo_external_storage="true"
+deviceinfo_screen_width="1280"
+deviceinfo_screen_height="800"
+
+# Bootloader related
+deviceinfo_flash_method="heimdall-bootimg"
+deviceinfo_generate_bootimg="true"
+deviceinfo_bootimg_qcdt="false"
+deviceinfo_bootimg_mtk_mkimage="false"
+deviceinfo_bootimg_dtb_second="false"
+deviceinfo_flash_pagesize="2048"
+deviceinfo_flash_offset_base="0x40000000"
+deviceinfo_flash_offset_kernel="0x00008000"
+deviceinfo_flash_offset_ramdisk="0x01000000"
+deviceinfo_flash_offset_second="0x00f00000"
+deviceinfo_flash_offset_tags="0x00000100"