add build script for UF2 files

firmware/rust1/.gitignore

 /target/
+/.cargo-tools/

firmware/rust1/build.sh

+#!/bin/sh
+set -e
+cd "$(dirname "$0")"
+
+if ! [ -e .cargo-tools/bin/cargo-objcopy ] ; then
+    cargo install --root "$PWD/.cargo-tools/" cargo-binutils
+fi
+if ! [ -e .cargo-tools/bin/elf2uf2-rs ] ; then
+    cargo install --root "$PWD/.cargo-tools/" elf2uf2-rs
+fi
+if ! [ -e .cargo-tools/bin/probe-rs-cli ] ; then
+    cargo install --root "$PWD/.cargo-tools/" probe-rs-cli
+fi
+if ! [ -e .cargo-tools/bin/probe-rs-debugger ] ; then
+    cargo install --root "$PWD/.cargo-tools/" probe-rs-debugger
+fi
+
+( cd ../rust1-bootloader && cargo build --release )
+./.cargo-tools/bin/elf2uf2-rs ../rust1-bootloader/target/thumbv6m-none-eabi/release/heizung-bootloader
+
+cargo build --bin heizung
+cargo objdump --bin heizung -- -xd >target/thumbv6m-none-eabi/debug/heizung.map
+cargo build --bin heizung --release
+cargo objdump --bin heizung --release -- -xd >target/thumbv6m-none-eabi/release/heizung.map
+./.cargo-tools/bin/elf2uf2-rs target/thumbv6m-none-eabi/debug/heizung
+./.cargo-tools/bin/elf2uf2-rs target/thumbv6m-none-eabi/release/heizung
+
+cat ../rust1-bootloader/target/thumbv6m-none-eabi/release/heizung-bootloader.uf2 target/thumbv6m-none-eabi/debug/heizung.uf2 >heizung-debug.uf2
+cat ../rust1-bootloader/target/thumbv6m-none-eabi/release/heizung-bootloader.uf2 target/thumbv6m-none-eabi/release/heizung.uf2 >heizung-release.uf2
+
+size target/thumbv6m-none-eabi/debug/heizung
+size target/thumbv6m-none-eabi/release/heizung

firmware/rust1/uf2.py

+import sys, struct
+
+with open(sys.argv[1], "rb") as f:
+    contents = f.read()
+
+# see https://github.com/JoNil/elf2uf2-rs/blob/master/src/uf2.rs
+UF2_MAGIC_START0 = 0x0A324655
+UF2_MAGIC_START1 = 0x9E5D5157
+UF2_MAGIC_END = 0x0AB16F30
+
+UF2_FLAG_NOT_MAIN_FLASH = 0x00000001
+UF2_FLAG_FILE_CONTAINER = 0x00001000
+UF2_FLAG_FAMILY_ID_PRESENT = 0x00002000
+UF2_FLAG_MD5_PRESENT = 0x00004000
+
+RP2040_FAMILY_ID = 0xe48bff56
+
+offset = 0
+while offset < len(contents):
+    frame = contents[offset:offset+512]
+    magic_start0, magic_start1, flags, target_addr, payload_size, block_no, num_blocks, file_size \
+        = struct.unpack_from("<IIIIIIII", frame, offset=0)
+    magic_end, = struct.unpack_from("<I", frame, offset=512-4)
+    if magic_start0 != UF2_MAGIC_START0 or magic_start1 != UF2_MAGIC_START1 or magic_end != UF2_MAGIC_END:
+        print("not UF2 at offset %r" % offset)
+        break
+
+    flags_str = []
+    flags2 = flags
+    if (flags & UF2_FLAG_NOT_MAIN_FLASH) != 0:
+        flags2 &= ~UF2_FLAG_NOT_MAIN_FLASH
+        flags_str.append("not_main")
+    if (flags & UF2_FLAG_FILE_CONTAINER) != 0:
+        flags2 &= ~UF2_FLAG_FILE_CONTAINER
+        flags_str.append("file")
+    if (flags & UF2_FLAG_FAMILY_ID_PRESENT) != 0:
+        flags2 &= ~UF2_FLAG_FAMILY_ID_PRESENT
+        flags_str.append("family")
+    if (flags & UF2_FLAG_MD5_PRESENT) != 0:
+        flags2 &= ~UF2_FLAG_MD5_PRESENT
+        flags_str.append("md5")
+    if flags2 != 0:
+        flags_str.append("0x08x" % flags2)
+
+    file_size_or_family = ""
+    if (flags & UF2_FLAG_FAMILY_ID_PRESENT) != 0:
+        if file_size == RP2040_FAMILY_ID:
+            file_size_or_family = "rp2040"
+        else:
+            file_size_or_family = "family 0x%08x" % file_size
+    else:
+            file_size_or_family = "file size %s" % file_size
+
+    print("block %-6s: target 0x%08x, size %3s, block %3s/%3s, %s, %s" % (
+        offset, target_addr, payload_size, block_no, num_blocks, file_size_or_family, " ".join(flags_str)))
+    offset += 512

flake.nix

@@ -150,6 +150,11 @@
             #fi
           '';
         };
+        devShells.rust = with self.packages.${system}; pkgs.mkShell {
+          packages = with pkgs; [
+            rustup udev.dev pkg-config openssl.dev picotool
+          ];
+        };
       }
     );
-}
\ No newline at end of file
+}