Teensy 3.1 / How To Increase Buffer Size For Serial1?

[Paraglider]

I would like to increase the buffer size of Serial1. Is there an easy way to do that with Arduino code, or is it necessary to modify the HardwareSerial.cpp?

 

[PaulStoffregen]

Is there an easy way to do that with Arduino code,

No

or is it necessary to modify the HardwareSerial.cpp?

Yes, but really, that's pretty easy too.