Pixhawk 2 U(S)ART allocation

Hi. I am trying to figure out the U(S)ART allocation of the Pixhawk 2 because the naming in hardware/software doesn’t seem to be logical. Can someone tell me if this is correct? Thanks!

SERIAL0 = USB = HAL UARTA
SERIAL1 = TELEM1 = STM32F4 USART2 = HAL UARTC
SERIAL2 = TELEM2 = STM32F4 USART3 = HAL UARTD
SERIAL3 = GPS = STM32F4 UART4 = HAL UARTB
SERIAL4 = STM32F4 UART8 = HAL UARTE
SERIAL5 = STM32F4 UART7 = HAL UARTF

USART1 is used for receiving debug from IO processor
USART6 is used for sending/receiving commands to/from IO processor