Luca Weiss
67bc6ac0d3
[Warning!] deviceinfo_append_dtb: Property is set to its default value (false) and can be removed. [Warning!] deviceinfo_append_dtb_lts: Property is set to its default value (false) and can be removed. [Warning!] deviceinfo_append_dtb_exynos4: Property is set to its default value (false) and can be removed. sed -i '/^deviceinfo_append_dtb\(_.*\)\?="false"/d' device/*/*/deviceinfo [Warning!] deviceinfo_external_storage: Property is set to its default value (false) and can be removed. sed -i '/^deviceinfo_external_storage="false"/d' device/*/*/deviceinfo [Warning!] deviceinfo_disable_dhcpd: Property is set to its default value (false) and can be removed. sed -i '/^deviceinfo_disable_dhcpd="false"/d' device/*/*/deviceinfo [Warning!] deviceinfo_bootimg_qcdt: Property is set to its default value (false) and can be removed. sed -i '/^deviceinfo_bootimg_qcdt="false"/d' device/*/*/deviceinfo Part-of: <https://gitlab.postmarketos.org/postmarketOS/pmaports/-/merge_requests/8035>
35 lines
1.1 KiB
Plaintext
35 lines
1.1 KiB
Plaintext
# 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 Redmi Note 5 Pro"
|
|
deviceinfo_manufacturer="Xiaomi"
|
|
deviceinfo_codename="xiaomi-whyred"
|
|
deviceinfo_year="2018"
|
|
deviceinfo_dtb="qcom/sdm636-xiaomi-whyred"
|
|
deviceinfo_append_dtb="true"
|
|
deviceinfo_arch="aarch64"
|
|
|
|
# Device related
|
|
deviceinfo_drm="true"
|
|
deviceinfo_chassis="handset"
|
|
deviceinfo_external_storage="true"
|
|
deviceinfo_screen_width="1080"
|
|
deviceinfo_screen_height="2160"
|
|
deviceinfo_swap_size_recommended="1024"
|
|
|
|
# Bootloader related
|
|
deviceinfo_generate_bootimg="true"
|
|
deviceinfo_generate_extlinux_config="true"
|
|
deviceinfo_header_version="0"
|
|
deviceinfo_flash_method="fastboot"
|
|
deviceinfo_flash_fastboot_partition_vbmeta="vbmeta"
|
|
deviceinfo_flash_offset_base="0x00000000"
|
|
deviceinfo_flash_offset_kernel="0x00008000"
|
|
deviceinfo_flash_offset_ramdisk="0x01000000"
|
|
deviceinfo_flash_offset_second="0x00000000"
|
|
deviceinfo_flash_offset_tags="0x00000100"
|
|
deviceinfo_flash_pagesize="4096"
|
|
deviceinfo_flash_sparse="true"
|