# 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_arch="aarch64"
deviceinfo_disable_dhcpd="true"

# Device related
deviceinfo_gpu_accelerated="true"
deviceinfo_chassis="embedded"
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"
deviceinfo_kernel_cmdline="modules=loop,squashfs,sd-mod,usb-storage quiet dwc_otg.lpm_enable=0 console=ttyAMA0,115200 console=tty1"
deviceinfo_generate_cmdline_txt="true"
