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

build() {
	devicepkg_build $startdir $pkgname
}

package() {
	devicepkg_package $startdir $pkgname
}


sha512sums="6363ab5b5b9050c538f3977ebb92c1a4fdb5fa0fad029ad1c3ad01f2ddf6d5c0f0c0c5bbc7119943543668e382597c704df0ca4d95f8e870dafa6ee2dff38d46  deviceinfo"