Hardware Serial Buffer with multiple High Speed Devices

I suggest you post your code so we can see whether there's any problem with the way you consume the serial port input streams.