forge/pmaports
1
0
Fork 0
Code Issues 2 Pull requests Projects Releases Packages Wiki Activity Actions
pmaports/device/testing/device-raspberry-pi0/deviceinfo

22 lines
611 B
Text
Raw Normal View History

New device: Raspberry Pi Zero with Ethernet over USB enabled (!125) As mentioned in #151, the Raspberry Pi Zero doesn't have an ethernet port, so this makes it quite complicated to connect to the device from a fresh install, because wifi/bluetooth/serial/... are not configured. With this new package, the device starts with the microUSB configured as ethernet and the dhcpd is running on the RPI, so you can simply connect it to a computer and connect with SSH in order to configure it.
2019-01-03 00:18:12 +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 Zero"
deviceinfo_manufacturer="Raspberry Pi"
deviceinfo_codename="raspberry-pi0"
device/device-*: automatically add deviceinfo_year from wiki (!1036) 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
2020-03-07 16:10:22 +00:00
deviceinfo_year="2015"
New device: Raspberry Pi Zero with Ethernet over USB enabled (!125) As mentioned in #151, the Raspberry Pi Zero doesn't have an ethernet port, so this makes it quite complicated to connect to the device from a fresh install, because wifi/bluetooth/serial/... are not configured. With this new package, the device starts with the microUSB configured as ethernet and the dhcpd is running on the RPI, so you can simply connect it to a computer and connect with SSH in order to configure it.
2019-01-03 00:18:12 +00:00
deviceinfo_arch="armhf"
deviceinfo_disable_dhcpd="false"
# Device related
device/*: Add deviceinfo_chassis variable (MR 1246) [ci:ignore-count], [ci:skip-build]
2020-05-17 13:33:49 +00:00
deviceinfo_chassis="embedded"
New device: Raspberry Pi Zero with Ethernet over USB enabled (!125) As mentioned in #151, the Raspberry Pi Zero doesn't have an ethernet port, so this makes it quite complicated to connect to the device from a fresh install, because wifi/bluetooth/serial/... are not configured. With this new package, the device starts with the microUSB configured as ethernet and the dhcpd is running on the RPI, so you can simply connect it to a computer and connect with SSH in order to configure it.
2019-01-03 00:18:12 +00:00
deviceinfo_keyboard="false"
deviceinfo_external_storage="true"
deviceinfo_screen_width="1920"
deviceinfo_screen_height="1080"
# Bootloader related
deviceinfo_flash_method="none"
deviceinfo_boot_filesystem="fat16"
Reference in a new issue Copy permalink