Trying to get serial communications working on ittya. Compiled the BSP and PSP etc. I was looking at the K60 documentation and see that UART1 RX and TX can be using either PTA pins 1 and 2 or PTA1 pins 14 and 15. This is from the K60 signal multiplexing and pin assignments pinout chart. How do I find out which pins are assigned to ittya.