# Reference: <https://postmarketos.org/devicepkg>
maintainer="Omar Mahboubi <omar_mahboubi@tutanota.com>"
pkgname=device-xiaomi-spes
pkgdesc="Xiaomi Redmi Note 11"
pkgver=3
pkgrel=0
url="https://postmarketos.org"
license="MIT"
arch="aarch64"
options="!check !archcheck"
depends="
	linux-xiaomi-spes
	mkbootimg
	postmarketos-base
	postmarketos-base-downstream
"
makedepends="devicepkg-dev"
source="
	deviceinfo
	kernel-cmdline.conf
"

build() {
	devicepkg_build $startdir $pkgname
}

package() {
	devicepkg_package $startdir $pkgname
}

sha512sums="
438809e2aad8fc516bf36237ae5258a7986f5ecc3be708c120fb282eb1f328ed0e800f654c8649cea663e1a1d082ddcd76db8466183a54c960e124b18cedcf44  deviceinfo
a230e30a05453491d41ba4a6a4c504e3dbe7b630402ac2b837aa5d977c2d38c73c93fb198e8aff892a12005de8d2355593fe2fae8e3e9412418efb1d32250022  kernel-cmdline.conf
"
