# Reference: <https://postmarketos.org/devicepkg>
maintainer=""
pkgname=device-samsung-serranodsdd
pkgdesc="Samsung Galaxy S4 Mini (dual sim)"
pkgver=4
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="
df201f2ca8b40acbf409a7f43105bba5d094b1dd6358f6e8c26b6015cc96464f498f111d69439d253fefe086673e6ea308e90fea287ff7ee4906d326b0af7ac3  deviceinfo
3a86044834cb830188114e5faf15d93b8db1a3ea3034266bdab6af213401342d1f5751d23f42096770232afd6a7010b1516f3de3722ad5b9cae05599d837cf2b  kernel-cmdline.conf
"
