de2bba9e58
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
22 lines
628 B
Text
22 lines
628 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="Raspberry Pi 4"
|
|
deviceinfo_manufacturer="Raspberry Pi"
|
|
deviceinfo_codename="raspberry-pi4"
|
|
deviceinfo_year="2019"
|
|
deviceinfo_dtb=""
|
|
deviceinfo_modules_initfs="vc4"
|
|
deviceinfo_arch="aarch64"
|
|
deviceinfo_disable_dhcpd="true"
|
|
|
|
# Device related
|
|
deviceinfo_keyboard="true"
|
|
deviceinfo_external_storage="true"
|
|
deviceinfo_screen_width="1920"
|
|
deviceinfo_screen_height="1080"
|
|
|
|
# Bootloader related
|
|
deviceinfo_flash_method="none"
|
|
deviceinfo_boot_filesystem="fat16"
|