This PR adds a script (build.sh) that builds the image for the RPi board, which can be programmed via the Raspberry Pi SD Card imager.
Testing: using build.sh, build an SD card image, burned that image to a RPi 3B+, and then booted the Pi. The userspace application from #3 was present in the image and worked as expected.
This PR adds a script (
build.sh) that builds the image for the RPi board, which can be programmed via the Raspberry Pi SD Card imager.Testing: using
build.sh, build an SD card image, burned that image to a RPi 3B+, and then booted the Pi. The userspace application from #3 was present in the image and worked as expected.This PR can close #2.