# Reference: <https://postmarketos.org/devicepkg>
pkgname=device-samsung-serranodsdd
pkgdesc="Samsung Galaxy S4 Mini (dual sim)"
pkgver=3
pkgrel=0
url="https://postmarketos.org"
license="MIT"
arch="armhf"
options="!check !archcheck"
depends="postmarketos-base linux-samsung-serranodsdd mkbootimg"
makedepends="devicepkg-dev"
source="deviceinfo kernel-cmdline.conf"

build() {
	devicepkg_build $startdir $pkgname
}

package() {
	devicepkg_package $startdir $pkgname
}


sha512sums="
99420ab8f901e8666284064ef50f5b3f10c59227483a9ab4380d2fe667a9328f1648de2c7570a63b59edb55bf8d8cf8d6fdfea1aa7c5bd211ae360980f058309  deviceinfo
3a86044834cb830188114e5faf15d93b8db1a3ea3034266bdab6af213401342d1f5751d23f42096770232afd6a7010b1516f3de3722ad5b9cae05599d837cf2b  kernel-cmdline.conf
"
