add descriptions; fixes microsoft/devicescript#313

mmoskal · mmoskal · commit 42a5d80ca7b3 · 2023-04-11T10:15:00.000-07:00
diff --git a/boards/rp2040/msr124.board.json b/boards/rp2040/msr124.board.json
@@ -1,6 +1,7 @@
 {
     "$schema": "../rp2040deviceconfig.schema.json",
     "devName": "MSR RP2040 Brain 124 v0.1",
+    "$description": "Prototype board",
     "productId": "0x3875e80d",
     "setupPins": [
         {
diff --git a/boards/rp2040/msr59.board.json b/boards/rp2040/msr59.board.json
@@ -1,6 +1,7 @@
 {
     "$schema": "../rp2040deviceconfig.schema.json",
     "devName": "MSR Brain RP2040 59 v0.1",
+    "$description": "Prototype board",
     "productId": "0x35a678a3",
     "jacdac": {
         "$connector": "Jacdac",
diff --git a/boards/rp2040/pico.board.json b/boards/rp2040/pico.board.json
@@ -1,6 +1,7 @@
 {
     "$schema": "../rp2040deviceconfig.schema.json",
     "devName": "Raspberry Pi Pico",
+    "$description": "RP2040 board from Raspberry Pi.",
     "url": "https://www.raspberrypi.com/documentation/microcontrollers/raspberry-pi-pico.html",
     "productId": "0x3f6e1f0c",
     "led": {
diff --git a/boards/rp2040w/pico_w.board.json b/boards/rp2040w/pico_w.board.json
@@ -1,6 +1,7 @@
 {
     "$schema": "../rp2040deviceconfig.schema.json",
     "devName": "Raspberry Pi Pico W",
+    "$description": "RP2040 board from Raspberry Pi with a WiFi chip.",
     "url": "https://www.raspberrypi.com/documentation/microcontrollers/raspberry-pi-pico.html",
     "productId": "0x3a513204",
     "pins": {

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,7 @@`
`1`	`1`	`{`
`2`	`2`	`"$schema": "../rp2040deviceconfig.schema.json",`
`3`	`3`	`"devName": "MSR RP2040 Brain 124 v0.1",`
	`4`	`+ "$description": "Prototype board",`
`4`	`5`	`"productId": "0x3875e80d",`
`5`	`6`	`"setupPins": [`
`6`	`7`	`{`
Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,7 @@`
`1`	`1`	`{`
`2`	`2`	`"$schema": "../rp2040deviceconfig.schema.json",`
`3`	`3`	`"devName": "MSR Brain RP2040 59 v0.1",`
	`4`	`+ "$description": "Prototype board",`
`4`	`5`	`"productId": "0x35a678a3",`
`5`	`6`	`"jacdac": {`
`6`	`7`	`"$connector": "Jacdac",`
Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,7 @@`
`1`	`1`	`{`
`2`	`2`	`"$schema": "../rp2040deviceconfig.schema.json",`
`3`	`3`	`"devName": "Raspberry Pi Pico",`
	`4`	`+ "$description": "RP2040 board from Raspberry Pi.",`
`4`	`5`	`"url": "https://www.raspberrypi.com/documentation/microcontrollers/raspberry-pi-pico.html",`
`5`	`6`	`"productId": "0x3f6e1f0c",`
`6`	`7`	`"led": {`
Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,7 @@`
`1`	`1`	`{`
`2`	`2`	`"$schema": "../rp2040deviceconfig.schema.json",`
`3`	`3`	`"devName": "Raspberry Pi Pico W",`
	`4`	`+ "$description": "RP2040 board from Raspberry Pi with a WiFi chip.",`
`4`	`5`	`"url": "https://www.raspberrypi.com/documentation/microcontrollers/raspberry-pi-pico.html",`
`5`	`6`	`"productId": "0x3a513204",`
`6`	`7`	`"pins": {`