From 3a83ba49bc5a2bcbdfc7f6b1a4373e7c199788c1 Mon Sep 17 00:00:00 2001
From: Holger Wirtz <wirtz@parasitstudio.de>
Date: Fri, 18 Feb 2022 09:01:09 +0100
Subject: [PATCH] Added script for creating an image file for RPi.

---
 README.md | 21 +++++++++++++++++++--
 1 file changed, 19 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index d045971..39beb28 100644
--- a/README.md
+++ b/README.md
@@ -33,6 +33,8 @@ I am wondering whether Dexed could be ported to Circle, in order to recreate bas
 E.g., on Ubuntu 20.04:
 
 ```
+RPI=4
+
 git clone https://github.com/probonopd/MiniDexed
 cd MiniDexed
 
@@ -46,7 +48,7 @@ export PATH=$(readlink -f ./gcc-*/bin/):$PATH
 
 # Build circle-stdlib library
 cd circle-stdlib/
-./configure -r 4 --prefix "aarch64-none-elf-"
+./configure -r ${RPI} --prefix "aarch64-none-elf-"
 make -j$(nproc)
 cd ..
 
@@ -68,7 +70,22 @@ cp -r ./circle-stdlib/libs/circle/boot/* sdcard
 mv sdcard/config64.txt sdcard/config.txt
 rm -rf sdcard/config32.txt sdcard/README sdcard/Makefile sdcard/armstub sdcard/COPYING.linux
 cp ./src/*img sdcard/
-zip -r MiniDexed_Raspberry_Pi_4.zip sdcard/*
+zip -r MiniDexed_Raspberry_Pi_${RPI}.zip sdcard/*
+
+# Create a RPi image
+sudo apt install --yes  mount parted
+IMG="`date +%Y-%m-%d`_minidexed-RPi${RPI}.img"
+dd of="${IMG}" seek=50MiB bs=1 count=0
+parted "${IMG}" mktable msdos
+parted "${IMG}" mkpart primary fat32 2048s 49MiB
+DEV=`sudo losetup --find --partscan --show "${IMG}"`
+sudo mkfs.vfat -F 32 -n BOOT "${DEV}p1"
+mkdir boot
+sudo mount "${DEV}p1" boot
+sudo cp sdcard/* boot
+sudo umount boot
+sudo losetup -d "${DEV}"
+rm -r boot
 ```
 
 ## Acknowledgements