# Reference: <https://postmarketos.org/devicepkg>
maintainer="Omar Mahboubi <omar_mahboubi@tutanota.com>"
pkgname=device-xiaomi-spes
pkgdesc="Xiaomi Redmi Note 11"
pkgver=2
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
"

build() {
	devicepkg_build $startdir $pkgname
}

package() {
	devicepkg_package $startdir $pkgname
}

sha512sums="
3d1faa6793c370d984d1e9818956d7efc50598c9984a78f08c1cb80d46c521207d5747cf970be1bf0f6cd6990b7d948e7948d65b830bc7f90734d91dfd4c17de  deviceinfo
"
