esp32: provide hardware pin constants

src/machine/board_esp32-coreboard-v2.go

@@ -7,44 +7,44 @@ package machine
 const LED = IO2
 
 const (
-	CLK  Pin = 6
-	CMD  Pin = 11
-	IO0  Pin = 0
-	IO1  Pin = 1
-	IO10 Pin = 10
-	IO16 Pin = 16
-	IO17 Pin = 17
-	IO18 Pin = 18
-	IO19 Pin = 19
-	IO2  Pin = 2
-	IO21 Pin = 21
-	IO22 Pin = 22
-	IO23 Pin = 23
-	IO25 Pin = 25
-	IO26 Pin = 26
-	IO27 Pin = 27
-	IO3  Pin = 3
-	IO32 Pin = 32
-	IO33 Pin = 33
-	IO34 Pin = 34
-	IO35 Pin = 35
-	IO36 Pin = 36
-	IO39 Pin = 39
-	IO4  Pin = 4
-	IO5  Pin = 5
-	IO9  Pin = 9
-	RXD  Pin = 3
-	SD0  Pin = 7
-	SD1  Pin = 8
-	SD2  Pin = 9
-	SD3  Pin = 10
-	SVN  Pin = 39
-	SVP  Pin = 36
-	TCK  Pin = 13
-	TD0  Pin = 15
-	TDI  Pin = 12
-	TMS  Pin = 14
-	TXD  Pin = 1
+	CLK  = GPIO6
+	CMD  = GPIO11
+	IO0  = GPIO0
+	IO1  = GPIO1
+	IO10 = GPIO10
+	IO16 = GPIO16
+	IO17 = GPIO17
+	IO18 = GPIO18
+	IO19 = GPIO19
+	IO2  = GPIO2
+	IO21 = GPIO21
+	IO22 = GPIO22
+	IO23 = GPIO23
+	IO25 = GPIO25
+	IO26 = GPIO26
+	IO27 = GPIO27
+	IO3  = GPIO3
+	IO32 = GPIO32
+	IO33 = GPIO33
+	IO34 = GPIO34
+	IO35 = GPIO35
+	IO36 = GPIO36
+	IO39 = GPIO39
+	IO4  = GPIO4
+	IO5  = GPIO5
+	IO9  = GPIO9
+	RXD  = GPIO3
+	SD0  = GPIO7
+	SD1  = GPIO8
+	SD2  = GPIO9
+	SD3  = GPIO10
+	SVN  = GPIO39
+	SVP  = GPIO36
+	TCK  = GPIO13
+	TD0  = GPIO15
+	TDI  = GPIO12
+	TMS  = GPIO14
+	TXD  = GPIO1
 )
 
 // SPI pins