2018-03-20 18:46:01 +00:00
|
|
|
# Reference: <https://postmarketos.org/deviceinfo>
|
|
|
|
# Please use double quotes only. You can source this file in shell scripts.
|
|
|
|
|
2019-03-25 12:29:19 +00:00
|
|
|
deviceinfo_format_version="1"
|
2018-03-20 18:46:01 +00:00
|
|
|
deviceinfo_name="Xiaomi Redmi 4X"
|
|
|
|
deviceinfo_manufacturer="Xiaomi"
|
2018-12-25 19:25:32 +00:00
|
|
|
deviceinfo_codename="xiaomi-santoni"
|
2019-03-25 12:29:19 +00:00
|
|
|
deviceinfo_date="04/29/2017 (Malaysia)"
|
2018-03-20 18:46:01 +00:00
|
|
|
deviceinfo_dtb=""
|
|
|
|
deviceinfo_modules_initfs=""
|
|
|
|
deviceinfo_arch="aarch64"
|
|
|
|
|
|
|
|
# Device related
|
|
|
|
deviceinfo_keyboard="false"
|
|
|
|
deviceinfo_external_storage="true"
|
2019-04-19 12:13:40 +00:00
|
|
|
deviceinfo_screen_width="720"
|
|
|
|
deviceinfo_screen_height="1280"
|
2018-03-20 18:46:01 +00:00
|
|
|
deviceinfo_dev_touchscreen="/dev/input/event1"
|
2019-03-25 12:29:19 +00:00
|
|
|
deviceinfo_dev_touchscreen_calibration=""
|
2018-03-20 18:46:01 +00:00
|
|
|
deviceinfo_dev_keyboard=""
|
2019-03-25 12:29:19 +00:00
|
|
|
deviceinfo_swap_size_recommended="1024"
|
2018-03-20 18:46:01 +00:00
|
|
|
|
2019-11-14 02:04:40 +00:00
|
|
|
# USB vendor configuration
|
|
|
|
deviceinfo_usb_idVendor="0x2717" # Xiaomi Communications Co., Ltd.
|
|
|
|
deviceinfo_usb_idProduct="0xFF80" # Mi/Redmi series (RNDIS)
|
|
|
|
|
2018-03-20 18:46:01 +00:00
|
|
|
# Bootloader related
|
|
|
|
deviceinfo_flash_method="fastboot"
|
2019-03-25 12:29:19 +00:00
|
|
|
deviceinfo_kernel_cmdline="androidboot.hardware=qcom msm_rtb.filter=0x237 ehci-hcd.park=3 lpm_levels.sleep_disabled=1 androidboot.bootdevice=7824900.sdhci earlycon=msm_hsl_uart,0x78B0000 androidboot.selinux=permissive buildvariant=userdebug"
|
2018-03-20 18:46:01 +00:00
|
|
|
deviceinfo_generate_bootimg="true"
|
|
|
|
deviceinfo_bootimg_qcdt="false"
|
|
|
|
deviceinfo_flash_offset_base="0x80000000"
|
|
|
|
deviceinfo_flash_offset_kernel="0x00008000"
|
|
|
|
deviceinfo_flash_offset_ramdisk="0x01000000"
|
|
|
|
deviceinfo_flash_offset_second="0x00f00000"
|
|
|
|
deviceinfo_flash_offset_tags="0x00000100"
|
|
|
|
deviceinfo_flash_pagesize="4096"
|
|
|
|
|