1 
2 // gpio configuration for JTAG
3 #define PIN_LED         PIN(1,1)
4 #define PIN_RESET       PIN(2,5)
5 #define PIN_RESET_TXEN  PIN(2,6)
6 #define PIN_TMS_TXEN    PIN(1,5)    // SGPIO15=6
7 #define PIN_TMS         PIN(1,6)    // SGPIO14=6
8 #define PIN_TCK         PIN(1,17)   // SGPIO11=6
9 #define PIN_TDI         PIN(1,18)   // SGPIO12=6
10 #define PIN_TDO         PIN(1,14)   // U1_RXD=1, SGPIO10=6
11 
12 #define GPIO_LED        GPIO(0,8)
13 #define GPIO_RESET      GPIO(5,5)
14 #define GPIO_RESET_TXEN GPIO(5,6)
15 #define GPIO_TMS_TXEN   GPIO(1,8)
16 #define GPIO_TMS        GPIO(1,9)
17 #define GPIO_TCK        GPIO(0,12)
18 #define GPIO_TDI        GPIO(0,13)
19 #define GPIO_TDO        GPIO(1,7)
20 
21 // alternate names for SWD
22 #define PIN_SWDIO_TXEN  PIN_TMS_TXEN
23 #define PIN_SWDIO       PIN_TMS
24 #define PIN_SWCLK       PIN_TCK
25 #define PIN_SWO         PIN_TDO
26 
27 #define GPIO_SWDIO_TXEN GPIO_TMS_TXEN
28 #define GPIO_SWDIO      GPIO_TMS
29 #define GPIO_SWCLK      GPIO_TCK
30 
31