Skip to content

Add Raspberry Pi device

Daniele Debernardi requested to merge device/raspberry-pi into master

Added a new deviceinfo variable deviceinfo_boot_filesystem to specify the desired filesystem for the boot partition. In pmb/install/format.py it checks if it's a supported value otherwise it raises an exception. Supported for now: fat16 and ext2 (default). In order to format in fat16, there is the additional package dosfstools (132 kB) installed in the native chroot.

About the Raspberry Pi device files, when you select it in pmbootstrap init it will prompt you which kernel to use, this depends on the device version there is a different kernel for it.

[10:47:03] Which kernel do you want to use with your device?
[10:47:03] Available kernels (2):
[10:47:03] * rpi: Kernel for the Raspberry Pi Zero & 1
[10:47:03] * rpi2: Kernel for the Raspberry Pi 2 & 3

The config.txt and cmdline.txt files are taken from the official alpine raspberry pi download (http://dl-cdn.alpinelinux.org/alpine/v3.7/releases/armhf/alpine-rpi-3.7.0-armhf.tar.gz), with the path adapter to our kernel/initramfs location.

In the post-install scripts there is the necessity to copy the .dtb and .dtbo files installed by the kernel package to the /boot and /boot/overlays folders. Those are required in order to boot the device.

Tested:

  • Raspberry Pi Zero W (steamport, yangxuan8282 )
  • Raspberry Pi 1 Model B (duncan^)
  • Raspberry Pi 2 Model B (drebrez)
  • Raspberry Pi 3 (MartijnBraam)

Todo:

Closes: #699 (closed)

[x] Merge on GitHub (see https://postmarketos.org/merge)

Merge request reports