# Reference: # Please use double quotes only. You can source this file in shell scripts. deviceinfo_format_version="0" deviceinfo_name="Raspberry Pi" deviceinfo_manufacturer="Raspberry Pi" deviceinfo_codename="raspberry-pi" deviceinfo_year="2013" deviceinfo_arch="armhf" deviceinfo_disable_dhcpd="true" # Device related 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"