= Pi-gen Micro Richard Oliver richard.oliver@raspberrypi.com

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