# Reference: <https://postmarketos.org/devicepkg>
pkgname=device-samsung-p4note
pkgdesc="Samsung Galaxy Note 10.1"
pkgver=1.2
pkgrel=1
url="https://postmarketos.org"
license="MIT"
arch="armv7"
options="!check !archcheck"
depends="
	linux-postmarketos-exynos4
	mkbootimg
	postmarketos-base
	postmarketos-update-kernel
"
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="
ade0e5d31809caa2ef9ca94c7b5cdb7e4a17ceef47484d7795a59b36c45686467dbd9b77585a2b23ad0150aad6afc2af2fde8e0a6b324c31fc7c83e1fa4dedf2  deviceinfo
"
