Pi-gen Micro

pi-gen-micro is a system designed to build tiny embedded operating systems from the same package sources as Raspberry Pi OS.

Why? Because this means you get the latest hardware support and updates in line with a widely-used and tested OS.

Installing

Build the package

Use the standard Debian devscripts package:

sudo apt install -y devscripts
debuild -uc -us

Installing the package

sudo dpkg -i ../pi-gen-micro_0.0.1-1_arm64.deb

Usage

sudo pi-gen-micro ${CONFIGURATION_NAME}

For example, the fastboot gadget used by rpi-sb-provisioner:

pushd $(mktemp -d)
sudo pi-gen-micro fastboot

Updating packages for use with pi-gen-micro

cd packages
dpkg-scanpackages . /dev/null | gzip -9c > Packages.gz