pmaports/device/device-planet-geminipda/deviceinfo
Minecrell de2bba9e58
device/device-*: automatically add deviceinfo_year from wiki (!1036)
Download: https://wiki.postmarketos.org/index.php?title=Special:CargoExport&tables=Devices&&fields=Codename%2C+Released&&group+by=Codename&order+by=%60Codename%60%2C+%60Released%60&limit=5000&format=csv

cd device
for device in device-*; do
	year=$(grep -oP "${device#device-},\K2\d{3}" ../results.csv)
	[[ -n "$year" ]] || continue
	sed -i "s/deviceinfo_date=\"\"/deviceinfo_year=\"$year\"/" "$device/deviceinfo"
done

devices=$(git ls-files -m -- . | xargs dirname | sort -u | xargs echo)
pmbootstrap checksum $devices
2020-03-09 10:06:06 +01:00

29 lines
994 B
Text

# Reference: <https://postmarketos.org/deviceinfo>
# Please use double quotes only. You can source this file in shell scripts.
deviceinfo_format_version="0"
deviceinfo_name="Planet Gemini PDA"
deviceinfo_manufacturer="Planet"
deviceinfo_codename="planet-geminipda"
deviceinfo_year="2018"
deviceinfo_dtb=""
deviceinfo_modules_initfs=""
deviceinfo_arch="aarch64"
# Device related
deviceinfo_keyboard="true"
deviceinfo_external_storage="true"
deviceinfo_screen_width="1080"
deviceinfo_screen_height="2160"
# Bootloader related
deviceinfo_flash_method="fastboot"
deviceinfo_kernel_cmdline="bootopt=64S3,32N2,64N2 androidboot.selinux=permissive buildvariant=userdebug selinux=1"
deviceinfo_generate_bootimg="true"
deviceinfo_bootimg_qcdt="false"
deviceinfo_flash_offset_base="0x40080000"
deviceinfo_flash_offset_kernel="0x00000000"
deviceinfo_flash_offset_ramdisk="0x04f80000"
deviceinfo_flash_offset_second="0x00e80000"
deviceinfo_flash_offset_tags="0x03f80000"
deviceinfo_flash_pagesize="2048"