From ac566d7e2b89462df7849c2397d172cff2f5889f Mon Sep 17 00:00:00 2001
From: Steve Briskin <steve@viam.com>
Date: Mon, 1 Jul 2024 16:06:11 -0400
Subject: [PATCH] Fix interrupt pin type and add example (#3088)

---
 docs/build/micro-rdk/board/esp32.md | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/docs/build/micro-rdk/board/esp32.md b/docs/build/micro-rdk/board/esp32.md
index 5492084c08..daaa9253a9 100644
--- a/docs/build/micro-rdk/board/esp32.md
+++ b/docs/build/micro-rdk/board/esp32.md
@@ -8,7 +8,7 @@ images: ["/icons/components/board.svg"]
 tags: ["board", "components"]
 aliases:
   - /micro-rdk/board/esp32/
-# SMEs: Gautham, Rand
+# SMEs: Gautham, Nico, Andrew
 ---
 
 {{% alert title="REQUIREMENTS" color="caution" %}}
@@ -54,6 +54,11 @@ Copy the following JSON template and paste it into your configuration inside the
         "pin": <int>,
         "name": "<your-analog-name>"
       }
+    ],
+    "digital_interrupts" : [
+        {
+         "pin": <int>
+        }
     ]
   },
   "depends_on": []
@@ -76,6 +81,11 @@ Copy the following JSON template and paste it into your configuration inside the
         "pin": "34",
         "name": "sensor"
       }
+    ],
+    "digital_interrupts": [
+      {
+        "pin": 4
+      }
     ]
   },
   "depends_on": []
@@ -132,7 +142,7 @@ The following properties are available for `digital_interrupts`:
 <!-- prettier-ignore -->
 | Name | Type | Required? | Description |
 | ---- | ---- | --------- | ----------- |
-|`pin`| string | **Required** | The GPIO number of the board's GPIO pin that you wish to configure the digital interrupt for. |
+|`pin`| integer | **Required** | The GPIO number of the board's GPIO pin that you wish to configure the digital interrupt for. |
 
 ### PWM signals on `esp32` pins