Here is a list of the Libraries in Teensyduino:
Obviously you are not limited to these libraries, many more general libraries can be used.
AccelStepper
Adafruit_NeoPixel
Adafruit_nRF8001
Adafruit_STMPE610
Adafruit_VS1053
ADC
AltSoftSerial
Artnet...
Effectively you will be using the Teensyduino libs if you are using a Teensy.
A lot of people use PlatformIO with Teensy but it is NOT a PJRC supported platform.
Paul does a lot to help those people using PlatformIO with their problems but it is...
I would suggest using Teensyduino and the Arduino IDE so that all the libraries become available to you.
Use VisualMicro and VisualStudio if you don't like the look and feel of the Arduino IDE.
Let's start with the first serial port on pins 1&2, this is addressed as Serial1, so Serial1.begin(11520); works.
Likewise for the second serial port on pins 7&8, this is addressed as Serial2 and Serial2.begin(11520); works.
I am sure you get the...
Could you explain what you mean by the above sentence. I think I know what you mean, but we have a large number of members who DO NOT have English as a first language and may not understand your sentence, especially the halts the Teensy inviting...
Personally I would use OLED screens such as this. Square ones are available a little cheaper. They are driven by I2C which is slower than SPI, but I suspect that speed is not a priority as they will (I guess) not be changed very frequently...