# Reference: <https://postmarketos.org/deviceinfo>
# Please use double quotes only. You can source this file in shell scripts.

deviceinfo_format_version="0"
deviceinfo_name="PINE64 Rock64"
deviceinfo_manufacturer="PINE64"
deviceinfo_codename="pine64-rock64"
deviceinfo_year="2017"
deviceinfo_dtb="rockchip/rk3328-rock64"
deviceinfo_arch="aarch64"

# 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_sd_embed_firmware="u-boot/pine64-rock64/u-boot-rockchip.bin:32"
deviceinfo_boot_part_start="32768"
deviceinfo_kernel_cmdline="console=tty0 console=ttyS0,1500000n8 panic=10 coherent_pool=1M video=HDMI-A-1:1920x1080@60 video=eDP-1:1920x1080@60 loglevel=5 PMOS_NO_OUTPUT_REDIRECT"
deviceinfo_generate_extlinux_config="true"