xiaomi-cepheus: new device (Xiaomi Mi 9) (MR 2346)

Powerful beast with Snapdragon 855 - 8 cores up to 2.8 GHz,
6 Gb RAM and fast UFS storage.

Mainline port is bare minimum (UART, framebuffer display, physical
keys, USB network). No storage support yet (UFS refuses to work)

https://wiki.postmarketos.org/wiki/Xiaomi_Mi_9_(xiaomi-cepheus)

device/testing/device-xiaomi-cepheus/APKBUILD

@@ -0,0 +1,30 @@
+# Maintainer: Alexey Minnekhanov <alexeymin@postmarketos.org>
+# Reference: <https://postmarketos.org/devicepkg>
+pkgname=device-xiaomi-cepheus
+pkgdesc="Xiaomi Mi 9"
+pkgver=0.1
+pkgrel=0
+url="https://postmarketos.org"
+license="MIT"
+arch="aarch64"
+options="!check !archcheck"
+depends="
+	linux-postmarketos-qcom-sm8150
+	mesa-dri-gallium
+	mkbootimg
+	postmarketos-base
+"
+makedepends="devicepkg-dev"
+source="deviceinfo"
+
+build() {
+	devicepkg_build $startdir $pkgname
+}
+
+package() {
+	devicepkg_package $startdir $pkgname
+}
+
+sha512sums="
+92c4487bb5a23152a942650b395f57412bc7be1458c68faadfca7a5f89384f73c0f299f010d477694c1027700d9a538fc421903f49951bab893ebff2cec69ada  deviceinfo
+"

device/testing/device-xiaomi-cepheus/deviceinfo

@@ -0,0 +1,39 @@
+# Reference: <https://postmarketos.org/deviceinfo>
+# Please use double quotes only. You can source this file in shell
+# scripts.
+
+deviceinfo_format_version="0"
+deviceinfo_name="Xiaomi Mi 9"
+deviceinfo_manufacturer="Xiaomi"
+deviceinfo_codename="xiaomi-cepheus"
+deviceinfo_year="2019"
+deviceinfo_arch="aarch64"
+
+# Device related
+deviceinfo_chassis="handset"
+deviceinfo_keyboard="false"
+deviceinfo_external_storage="false"
+deviceinfo_screen_width="1080"
+deviceinfo_screen_height="2340"
+
+# Bootloader related
+deviceinfo_flash_method="fastboot"
+deviceinfo_flash_fastboot_partition_vbmeta="vbmeta"
+deviceinfo_kernel_cmdline="console=tty0 earlycon=msm_geni_serial,0xa90000 PMOS_NO_OUTPUT_REDIRECT"
+deviceinfo_generate_bootimg="true"
+deviceinfo_bootimg_qcdt="false"
+deviceinfo_append_dtb="true"
+deviceinfo_dtb="qcom/sm8150-xiaomi-cepheus"
+deviceinfo_bootimg_mtk_mkimage="false"
+deviceinfo_bootimg_dtb_second="false"
+deviceinfo_flash_pagesize="4096"
+deviceinfo_flash_offset_base="0x00000000"
+deviceinfo_flash_offset_kernel="0x00008000"
+deviceinfo_flash_offset_ramdisk="0x00000000"
+deviceinfo_flash_offset_second="0x00000000"
+deviceinfo_flash_offset_tags="0x00000100"
+deviceinfo_rootfs_image_sector_size="4096"
+
+# USB related
+deviceinfo_usb_idVendor="0x2717"   # Xiaomi Communications Co., Ltd.
+deviceinfo_usb_idProduct="0xff80"  # Mi/Redmi series (RNDIS)