I'm very new to this and I know I should post to the stm32duino.com forum, but there's no way to register there!

I'm working on a nucleo F401RE, trying to use Serial1 in my sketch but the compiler says it's undefined.
I can only use Serial and Serial2, but they are basically the same one and mapped to the usb, I need an alternative serial communication port.

I thought there was some other error in my code, so I made a super simple one, but I confirm this does not work on my setup.

long val = 0;void setup() {  // put your setup code here, to run once:  //Serial.begin(115200); //works over USB  //Serial2.begin(115200); //works over USB  Serial1.begin(115200); //doesn't work}void loop() {  // put your main code here, to run repeatedly:  val++;  Serial1.write(val); //doesn't work  //Serial.write(val); //works over USB  //Serial2.write(val); //works over USB   delay(100);}

here is a screenshot of my settings in the Arduino IDE