Installing P4Pi
Notice: Always install a P4Pi image and not the official Raspberry Pi image.
- Download the most recent P4Pi image from the P4Pi repository.
The latest release is available here. (Download the p4pi-image-...-lite.zip file from the list of assets.)
While released images are recommended, recent development images are available here. Choose the most recent workflow run, and download its artifact (bottom of the page). Note that after some time development images become unavailable.
You will need to extract the image, and about 5GB of free disk space:
a. First unzip the image (note that the latest Raspberry Pi Imager can directly burn the zipped imageand thus this step is not required):
unzip p4pi-image-<version>.zip
b. Untar the unzipped, still compressed image (this stage may not be required in some releases):
tar xf p4pi-image-<version>.tar.xz
-
Install and run the Raspberry Pi Imager available here or here.
-
If you are using a new microSD card, first format your microSD as follows:
a. Under Operating System select Erase
b. Under Storage select your microSD
c. Select Write, and wait for the process to complete
-
Then install on the microSD card the downloaded P4Pi image as follows:
a. Under Operating System, select Use custom, and point to the P4Pi image file
b. Under Storage select your microSD card
c. Select Write, and wait for the process to complete
- plug the SD card into the Raspberry Pi
Beware: If you choose the wrong device, you might overwrite important parts of your system. Double check it's the correct device!
-
Plug an SD card which you would like to entirely overwrite into your SD card reader.
-
Assuming your SD card reader provides the device /dev/mmcblk0, copy the image onto the SD card. Change the image name (if=
) to the filename of your image.
sudo dd if=p4pi-2021-07-22-dfc5edc3-lite.img of=/dev/mmcblk0 bs=64k oflag=dsync status=progress -
Plug the SD card into the Raspberry Pi.
If you have a brand new Raspberry Pi, follow the setup instructions at the Raspberry Pi Website.