From 1fa7f189cbc4c6f8c2ffdd52ee3f22d7e75f09c7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Paul=20Wei=C3=9F?= <paul.weiss@fu-berlin.de>
Date: Sun, 5 Dec 2021 17:00:13 +0100
Subject: [PATCH] doc

---
 README.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 30d3f2e..bf18e75 100644
--- a/README.md
+++ b/README.md
@@ -55,7 +55,7 @@ This provides the possibility to test the kernel without having a local build of
 | Platform | compile | flash + run | debugger |
 | --- | --- | --- | --- |
 | portux (in qemu) | yes | yes, with `run` | yes |
-| pi-pico | yes | no, see¹ | yes¹ |
+| pi-pico | yes | manual³ | yes¹ |
 | pi-zero | yes | yes² | nope |
 
 ¹To run the code, you have to connect the pi-pico via SWD to openOCD and start the debugger pointed at the openOCD, like so:
@@ -63,3 +63,5 @@ This provides the possibility to test the kernel without having a local build of
 make platform=pi-pico build=<you choose> debug_target=<openOCD host>:<openOCD port> debug_load=1 debugger
 ```
 ² consult corresponding [README](https://git.imp.fu-berlin.de/weip00/octopos/-/blob/main/boards/pi-zero/README.md)
+
+³A standard uf2 file is produded, these cannot be flashed automatically.
\ No newline at end of file
-- 
GitLab