From 27c0992343fe270c7b2e5ea24d2e47c9d8eb2430 Mon Sep 17 00:00:00 2001
From: Sebastian Romero <s.romero@arduino.cc>
Date: Mon, 29 Jan 2024 15:54:00 -0300
Subject: [PATCH] esp32/boards: Add missing named digital pins for Arduino Nano
 ESP32.

Signed-off-by: Sebastian Romero <s.romero@arduino.cc>
---
 ports/esp32/boards/ARDUINO_NANO_ESP32/pins.csv | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/ports/esp32/boards/ARDUINO_NANO_ESP32/pins.csv b/ports/esp32/boards/ARDUINO_NANO_ESP32/pins.csv
index 5934ae7bf..fcd3d2300 100644
--- a/ports/esp32/boards/ARDUINO_NANO_ESP32/pins.csv
+++ b/ports/esp32/boards/ARDUINO_NANO_ESP32/pins.csv
@@ -12,6 +12,14 @@ D10,GPIO21
 D11,GPIO38
 D12,GPIO47
 D13,GPIO48
+D17,GPIO1
+D18,GPIO2
+D19,GPIO3
+D20,GPIO4
+D21,GPIO11
+D22,GPIO12
+D23,GPIO13
+D24,GPIO14
 LEDR,GPIO46
 LEDG,GPIO0
 LEDB,GPIO45