From 1d7b3e0271a868d2aa6f3f6640f0eb9a55fd21b1 Mon Sep 17 00:00:00 2001
From: Leon Schuermann <leon@is.currently.online>
Date: Tue, 29 Sep 2026 04:07:15 +0000
Subject: [PATCH] tockloader/board_interface: add flash file support for RPi
 Pico

---
 tockloader/board_interface.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tockloader/board_interface.py b/tockloader/board_interface.py
index 1c5a9c8..4a4369d 100644
--- a/tockloader/board_interface.py
+++ b/tockloader/board_interface.py
@@ -267,6 +267,10 @@ class BoardInterface:
                 "prefix": "source [find interface/raspberrypi-swd.cfg]; \
                            source [find target/rp2040.cfg];",
             },
+            "flash_file": {
+                "flash_address": 0x10000000,
+                "max_size": 0x200000,
+            },
         },
         "raspberry_pi_pico_2": {
             "description": "Raspberry Pi Pico 2",