How to export rtk NMEA0183 from teensy to rs232

Just wondering if anyone has got the nmea out working on a board with dual receivers?

I too would like to know if this is working reliability for someone. I’d like to upgrade to dual but have everything working well on single and don’t want to break it.