2020-04-25 09:51:42 +00:00
|
|
|
pkgname=device-xiaomi-mido
|
2020-11-13 22:38:56 +00:00
|
|
|
pkgdesc="Xiaomi Redmi Note 4X"
|
2023-07-14 20:48:34 +00:00
|
|
|
pkgver=3
|
2023-04-22 14:11:47 +00:00
|
|
|
pkgrel=0
|
2018-04-25 09:40:16 +00:00
|
|
|
url="https://postmarketos.org"
|
|
|
|
|
license="MIT"
|
2018-11-07 06:45:58 +00:00
|
|
|
arch="aarch64"
|
|
|
|
|
options="!check !archcheck"
|
2020-11-13 22:38:56 +00:00
|
|
|
depends="postmarketos-base mkbootimg soc-qcom-msm8916 linux-postmarketos-qcom-msm8953"
|
2018-04-25 09:40:16 +00:00
|
|
|
makedepends="devicepkg-dev"
|
|
|
|
|
source="deviceinfo"
|
2020-11-13 22:38:56 +00:00
|
|
|
subpackages="
|
|
|
|
|
$pkgname-nonfree-firmware:nonfree_firmware
|
|
|
|
|
"
|
2018-04-25 09:40:16 +00:00
|
|
|
build() {
|
|
|
|
|
devicepkg_build $startdir $pkgname
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
package() {
|
|
|
|
|
devicepkg_package $startdir $pkgname
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
nonfree_firmware() {
|
2020-11-13 22:38:56 +00:00
|
|
|
pkgdesc="Proprietary firmware"
|
|
|
|
|
depends="linux-firmware-qcom firmware-xiaomi-mido"
|
2018-04-25 09:40:16 +00:00
|
|
|
mkdir "$subpkgdir"
|
|
|
|
|
}
|
|
|
|
|
|
2021-07-07 05:06:17 +00:00
|
|
|
sha512sums="
|
2023-07-14 20:48:34 +00:00
|
|
|
a86765f31654c58d3b127f547813e6caa980eddfa1bf7eef2a2a1519672fb19c140ab1d10c216a32d0ec0ced1d31a5907793a3e1a295891298b66613c7134b6f deviceinfo
|
2021-07-07 05:06:17 +00:00
|
|
|
"
|
