# OSP1 flash
OSPI1_RESET,P15_7
OSPI1_CS,P5_7
OSPI1_SCLK,P5_5
OSPI1_D0,P9_5
OSPI1_D1,P9_6
OSPI1_D2,P9_7
OSPI1_D3,P10_0
OSPI1_D4,P10_1
OSPI1_D5,P10_2
OSPI1_D6,P10_3
OSPI1_D7,P10_4
OSPI1_RXDS,P10_7

# LEDs
LED_BLUE,P12_0
LED_RED,P12_3

# SW1 joystick
JOY_LEFT,P15_0
JOY_RIGHT,P15_1
JOY_DOWN,P15_2
JOY_UP,P15_3
JOY_SW,P15_4

# UART buses
UART0_TX,P0_1
UART0_RX,P0_0
UART0_RTS,P0_3
UART0_CTS,P0_2
UART1_TX,P0_5
UART1_RX,P0_4
UART1_RTS,P0_7
UART1_CTS,P0_6
REPL_UART_TX,P12_2
REPL_UART_RX,P12_1
