Available PinNames for IMXRT1050-EVKB platform.

LED (User LED)
LED_GREEN = GPIO_AD_B0_09

mbed original LED naming
LED1 = LED_RED
LED2 = LED_GREEN
LED3 = LED_BLUE
LED4 = LED_RED

Push buttons
SW2 = ONOFF
SW8 = WAKEUP

USB Pins
USBTX = GPIO_AD_B0_12
USBRX = GPIO_AD_B0_13

Arduino Headers
D0 = GPIO_AD_B1_07
D1 = GPIO_AD_B1_06
D2 = GPIO_AD_B0_11
D3 = GPIO_AD_B1_08
D4 = GPIO_AD_B0_09
D5 = GPIO_AD_B0_10
D6 = GPIO_AD_B1_02
D7 = GPIO_AD_B1_03
D8 = GPIO_AD_B0_03
D9 = GPIO_AD_B0_02
D10 = GPIO_SD_B0_01
D11 = GPIO_SD_B0_02
D12 = GPIO_SD_B0_03
D13 = GPIO_SD_B0_00
D14 = GPIO_AD_B0_01
D15 = GPIO_AD_B0_00

A0 = GPIO_AD_B1_10
A1 = GPIO_AD_B1_11
A2 = GPIO_AD_B1_04
A3 = GPIO_AD_B1_05
A4 = GPIO_AD_B1_01
A5 = GPIO_AD_B1_00

I2C pins
I2C_SCL = D15
I2C_SDA = D14

SPI pins
SPI_SS = D10
SPI_SOUT = D11
SPI_SIN = D12
SPI_CLK = D13

UART Pins
UART_TX = D1
UART_RX = D0