2018-05-29 19:33:40 +00:00
|
|
|
# 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"
|
2018-08-23 00:44:46 +00:00
|
|
|
deviceinfo_manufacturer="Raspberry Pi"
|
2018-12-25 19:25:32 +00:00
|
|
|
deviceinfo_codename="raspberry-pi"
|
2020-03-07 16:10:22 +00:00
|
|
|
deviceinfo_year="2013"
|
2018-05-29 19:33:40 +00:00
|
|
|
deviceinfo_arch="armhf"
|
2018-06-21 21:10:12 +00:00
|
|
|
deviceinfo_disable_dhcpd="true"
|
2018-05-29 19:33:40 +00:00
|
|
|
|
|
|
|
|
# Device related
|
2020-05-17 13:33:49 +00:00
|
|
|
deviceinfo_chassis="embedded"
|
2018-05-29 19:33:40 +00:00
|
|
|
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"
|
