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

33 lines
1.6 KiB
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/devicepkg>
*: remove quotes around pkgname (MR 1186) TP:[AL3]:APKBUILD:5:pkgname must not be quoted [skip ci]: won't finish within 3 hours
2020-04-25 09:51:42 +00:00
pkgname=device-raspberry-pi0
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
pkgdesc="Raspberry Pi Zero"
pkgver=0.1
device-raspberry-pi*: fix boot error caused by missing dtb files (!1047) The upstream linux-rpi package has been modified: the dtb files are now located in /boot/dtbs.
2020-03-10 01:04:33 +00:00
pkgrel=5
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
url="https://postmarketos.org"
license="MIT"
arch="armhf"
options="!check !archcheck"
device-raspberry-pi0: Reduce GPU memory and always install bluetooth package (!127)
2019-01-04 01:03:01 +00:00
depends="postmarketos-base raspberrypi-bootloader linux-rpi bluetooth-raspberry-pi"
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
makedepends="devicepkg-dev"
device-raspberry-pi*: fix boot error caused by missing dtb files (!1047) The upstream linux-rpi package has been modified: the dtb files are now located in /boot/dtbs.
2020-03-10 01:04:33 +00:00
install="$pkgname.post-install $pkgname.post-upgrade"
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
source="deviceinfo config.txt usercfg.txt cmdline.txt 95-vchiq-permissions.rules"
build() {
devicepkg_build $startdir $pkgname
}
package() {
devicepkg_package $startdir $pkgname
install -Dm644 "$srcdir"/config.txt "$pkgdir"/boot/config.txt
install -Dm644 "$srcdir"/usercfg.txt "$pkgdir"/boot/usercfg.txt
install -Dm644 "$srcdir"/cmdline.txt "$pkgdir"/boot/cmdline.txt
install -Dm644 "$srcdir"/95-vchiq-permissions.rules \
"$pkgdir"/etc/udev/rules.d/95-vchiq-permissions.rules
}
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
sha512sums="e706417bd33e62d7bb23262fd19daae3b3735ed8ac64f93ac5060040a7ed2d00454f3d6cb09a4940c8205dcab6a00075f702821e9ed6c94635ad96f035ae9c1e deviceinfo
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
8130aef9d8c128ef2dea4443a433cbea1e32e791e32336c4525e0bf8f531899a8e8c5ed9c2da251439fe25f2811f8886905922004221bb33a66587bd4ec174b7 config.txt
device-raspberry-pi0: Reduce GPU memory and always install bluetooth package (!127)
2019-01-04 01:03:01 +00:00
f38e28c13ab50d90dfc06bfae2945aab93551f39ec3cb2a2b65cfeb14dbbf04eb8c80920491106789e9d8f2290fbdac2f5e9adab24fa5f478568df3a638dc8e4 usercfg.txt
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
8ddb659a189ad2b2b2f0fa78043e4cbefcfd6c81fd35f5cc10fc8c7b77b5a0bfb8f02b4db4d5df51fbe0529b883eb572d465f44efa1a2d41231852657791b218 cmdline.txt
7e5505cb07d5b4a81bd28443d508336b5c547356538f1c06f91ed93ad0d7d456d4f74f1d24df5a2e08c17e74f0a66607352ac4874e967e9a91dfec9522d2d58d 95-vchiq-permissions.rules"
Reference in a new issue Copy permalink