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

36 lines
1.7 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"
raspberry-rpi0: fix use of deprecated initramfs-<flavor> (MR 3225) This is the same as c8b3a16e38ad5ee75f267fc7afb7e1c0cc4cca64, but for the Raspbberry Pi 0. Related to !2731
2022-06-13 05:21:47 +00:00
pkgver=0.2
device/*: rebuild all devices to relocate deviceinfo (MR 4283) [ci:ignore-count] [ci:skip-build]: already built successfully in CI
2023-09-19 16:16:35 +00:00
pkgrel=2
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"
device/*: transform deviceinfo_modules_initfs into a file (MR 4169) The file is automatically packed by devicepkg-dev utils Relates #1836
2023-08-02 17:06:01 +00:00
source="deviceinfo modules-initfs config.txt usercfg.txt cmdline.txt 95-vchiq-permissions.rules"
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
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/*: remove empty variables (MR 2534) [ci:ignore-count] [ci:skip-vercheck] [ci:skip-build]: built all the device packages successfully in CI already
2021-09-18 17:06:03 +00:00
sha512sums="
device/*: transform deviceinfo_modules_initfs into a file (MR 4169) The file is automatically packed by devicepkg-dev utils Relates #1836
2023-08-02 17:06:01 +00:00
98927951d5c1302798e5af1f79170eb4236d40978fa84f63748b8aba51eef86f5cb8597d63ca37b8bf12bbc3382d09ed8ec842261d3135734f497c22898d2ea9 deviceinfo
09540960017460809c091457ba9f96b0d12c8a12ef300b77017651bf1492e66440244502ccf22fb8c58d0362751366ef1acf1c5a60b0698c1dda530f0945c17f modules-initfs
raspberry-rpi0: fix use of deprecated initramfs-<flavor> (MR 3225) This is the same as c8b3a16e38ad5ee75f267fc7afb7e1c0cc4cca64, but for the Raspbberry Pi 0. Related to !2731
2022-06-13 05:21:47 +00:00
8e9111b1c131575c372c01125a148c3326871c5789fa99f069918cb5f8ba9a57d7b0da845524a6037635808c3a4ca6d40a8861485a6ed476880106e4e4d2a660 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
device/*: remove empty variables (MR 2534) [ci:ignore-count] [ci:skip-vercheck] [ci:skip-build]: built all the device packages successfully in CI already
2021-09-18 17:06:03 +00:00
7e5505cb07d5b4a81bd28443d508336b5c547356538f1c06f91ed93ad0d7d456d4f74f1d24df5a2e08c17e74f0a66607352ac4874e967e9a91dfec9522d2d58d 95-vchiq-permissions.rules
"
Reference in a new issue Copy permalink