Merge branch 'main' into update-uart-pins

adafruit · Sep 26, 2023 · ae4074e · ae4074e
2 parents a93f269 + f1fef7c
commit ae4074e
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 10 deletions.
diff --git a/boards/funhouse/definition.json b/boards/funhouse/definition.json
@@ -112,16 +112,6 @@
              "dataType":"bool",
              "hasPWM":true
           },
-          {
-            "name":"D10",
-            "displayName":"D10",
-            "dataType":"bool"
-         },
-         {
-            "name":"D11",
-            "displayName":"D11",
-            "dataType":"bool"
-         },
          {
             "name":"D44",
             "displayName":"D44 (UART RX)",

diff --git a/boards/rpi-pico-w/definition.json b/boards/rpi-pico-w/definition.json
@@ -7,6 +7,7 @@
     "productPageURL":"https://www.raspberrypi.com/products/raspberry-pi-pico/",
     "documentationURL":"https://www.raspberrypi.com/documentation/microcontrollers/raspberry-pi-pico.html",
     "installMethod":"uf2",
+    "installBoardName":"picow_rp2040_tinyusb",
     "components":{
         "digitalPins":[
             {

diff --git a/boards/schema.json b/boards/schema.json
@@ -55,6 +55,12 @@
       "type": "string",
       "pattern": "^(web|uf2|library|python)$"
     },
+    "installBoardName": {
+      "description": "(Optional) Name to use instead of `boardName` to look up the firmware asset in the WipperSnapper Arduino Releases",
+      "type": "string",
+      "minLength": 3,
+      "maxLength": 40
+    },
     "published": {
       "description": "Whether this board is officially published. When false, it won't appear in the firmware installer, for instance.",
       "type": "boolean"