From fdb7fbae8513f241257c6cbb2dd83536998264c9 Mon Sep 17 00:00:00 2001
From: Bitcoin3us <115934595+bitcoin3us@users.noreply.github.com>
Date: Mon, 26 Oct 2026 16:54:41 +0000
Subject: [PATCH 1/3] Fix ESP32-P4 option manifest path

The ESP32-P4 radio button pointed to
/manifests/esp32/MicroPythonOS_esp32p4_0.20.x.json, which does not
exist (404). The manifest was added under manifests/esp32p4/, next to
firmware_images/esp32p4/, as each chip has its own directory. Point
the option there.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index e0d71f6..ea7b0fc 100644
--- a/index.html
+++ b/index.html
@@ -357,7 +357,7 @@ <h2>Select Version</h2>
                          <label><input type="radio" name="device" value="/manifests/esp32/MicroPythonOS_esp32_0.20.x.json" onchange="updateManifest()">
                             <p>Unified build for all supported ESP32 devices: version 0.20.0</p>
                         </label>
-                         <label><input type="radio" name="device" value="/manifests/esp32/MicroPythonOS_esp32p4_0.20.x.json" onchange="updateManifest()">
+                         <label><input type="radio" name="device" value="/manifests/esp32p4/MicroPythonOS_esp32p4_0.20.x.json" onchange="updateManifest()">
                             <p>Unified build for all supported ESP32-P4 devices: version 0.20.0</p>
                         </label>
 

From 812285256b28e6f50be4496734050b2b8afffff3 Mon Sep 17 00:00:00 2001
From: Bitcoin3us <115934595+bitcoin3us@users.noreply.github.com>
Date: Mon, 26 Oct 2026 17:06:08 +0000
Subject: [PATCH 2/3] Select the 0.20.0 ESP32-S3 option on load

The 0.20.0 release moved the 0.19.0 ESP32-S3 option into the old
releases section but kept its checked="checked". Two radios in the
group were checked, so the browser selected the later one: the hidden
0.19.0 option. None of the visible options looked selected, while the
install button defaults to the 0.20.0 ESP32-S3 manifest.

Remove the attribute. The 0.20.0 ESP32-S3 option is now the only one
checked on load, and it matches the button's default.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index ea7b0fc..bf24f6d 100644
--- a/index.html
+++ b/index.html
@@ -368,7 +368,7 @@ <h2>Select Version</h2>
                         <div id="oldReleasesSection" class="old-releases-section">
                         	<div class="old-releases-label">These old releases are only here for archival, reverting, testing or troubleshooting.</div>
 
-				<label><input type="radio" checked="checked" name="device" value="/manifests/esp32s3/MicroPythonOS_esp32s3_0.19.x.json" onchange="updateManifest()">
+				<label><input type="radio" name="device" value="/manifests/esp32s3/MicroPythonOS_esp32s3_0.19.x.json" onchange="updateManifest()">
 				    <p>Unified build for all supported ESP32-S3 devices: version 0.19.0</p>
 				</label>
 				 <label><input type="radio" name="device" value="/manifests/esp32/MicroPythonOS_esp32_0.19.x.json" onchange="updateManifest()">

From 036e637effe0e111396f53fd7a1f975f6ba1905d Mon Sep 17 00:00:00 2001
From: Bitcoin3us <115934595+bitcoin3us@users.noreply.github.com>
Date: Mon, 26 Oct 2026 19:03:26 +0000
Subject: [PATCH 3/3] Say which ESP32-P4 chip revisions the 0.20.0 build is for

The 0.20.0 esp32p4 image only runs on chip revisions v0.x and v1.x, and
esp-web-tools does not check the revision. On a v3.x chip it resets in a
loop (MicroPythonOS/MicroPythonOS#344).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index bf24f6d..6fbda18 100644
--- a/index.html
+++ b/index.html
@@ -358,7 +358,7 @@ <h2>Select Version</h2>
                             <p>Unified build for all supported ESP32 devices: version 0.20.0</p>
                         </label>
                          <label><input type="radio" name="device" value="/manifests/esp32p4/MicroPythonOS_esp32p4_0.20.x.json" onchange="updateManifest()">
-                            <p>Unified build for all supported ESP32-P4 devices: version 0.20.0</p>
+                            <p>Unified build for all supported ESP32-P4 devices: version 0.20.0. Only for ESP32-P4 chip revisions v0.x and v1.x, not v3.x.</p>
                         </label>
 
                         <br />