2017-07-06 16:58:14 +00:00
|
|
|
# Reference: <https://postmarketos.org/deviceinfo>
|
|
|
|
# Please use double quotes only. You can source this file in shell scripts.
|
2017-05-27 19:00:21 +00:00
|
|
|
|
|
|
|
deviceinfo_format_version="0"
|
|
|
|
deviceinfo_name="Google Galaxy Nexus"
|
|
|
|
deviceinfo_manufacturer="Samsung"
|
|
|
|
deviceinfo_date=""
|
|
|
|
deviceinfo_keyboard="false"
|
|
|
|
deviceinfo_nonfree="????"
|
|
|
|
deviceinfo_dtb=""
|
|
|
|
deviceinfo_modules_initfs=""
|
|
|
|
deviceinfo_external_disk="false"
|
|
|
|
deviceinfo_external_disk_install="false"
|
|
|
|
deviceinfo_flash_methods="fastboot"
|
|
|
|
deviceinfo_arch="armhf"
|
2017-09-23 01:05:54 +00:00
|
|
|
deviceinfo_dev_touchscreen="/dev/input/event1"
|
2017-05-27 19:00:21 +00:00
|
|
|
|
2017-07-23 12:50:40 +00:00
|
|
|
# Splash screen
|
|
|
|
deviceinfo_screen_width="720"
|
|
|
|
deviceinfo_screen_height="1280"
|
|
|
|
|
2017-07-06 16:58:14 +00:00
|
|
|
# Fastboot related
|
2017-06-29 19:26:55 +00:00
|
|
|
deviceinfo_generate_bootimg="true"
|
2017-05-27 19:00:21 +00:00
|
|
|
deviceinfo_flash_offset_kernel="0x00008000"
|
|
|
|
deviceinfo_flash_offset_ramdisk="0x01000000"
|
|
|
|
deviceinfo_flash_offset_second="0x00f00000"
|
|
|
|
deviceinfo_flash_offset_tags="0x00000100"
|
|
|
|
deviceinfo_flash_pagesize="2048"
|
2017-12-15 22:51:51 +00:00
|
|
|
deviceinfo_kernel_cmdline="console=ttyFIQ0"
|