# Archived: Kernel does not build anymore
# Reference: <https://postmarketos.org/devicepkg>
pkgname=device-xiaomi-cereus
pkgdesc="Xiaomi Redmi 6"
pkgver=3
pkgrel=0
url="https://postmarketos.org"
license="MIT"
arch="armv7"
options="!check !archcheck"
depends="
	linux-xiaomi-cereus
	mkbootimg
	postmarketos-base
	msm-fb-refresher
"
makedepends="devicepkg-dev"
source="
	deviceinfo
"

build() {
	devicepkg_build $startdir $pkgname
}

package() {
	devicepkg_package $startdir $pkgname
}

sha512sums="
280787ddef23638a5d821e3e68ddcd8a25a2c6e25d4658011b5b9de4712a2d97ef8a1d218af55cbfa322925f9e43f197629be11f89ad016902787f8f8388be4e  deviceinfo
"
