Issues Writing to CANBus with STM32 Nucleo F429ZI Using Mbed OS 6.6.0

#include "mbed.h"

//Ticker ticker;
DigitalOut led1(LED1);
DigitalOut led2(LED2);
//CAN can1(PD_0, PD_1);
CAN can2(PB_8, PB_9);
DigitalOut led3(LED3);
 
char counter = 0;
 
void messageReceivedISR() {
    CANMessage msg;
    if(can2.read(msg)) {
        printf("Message received: %d, from %d\r\n", msg.data[0], msg.id);
        if(msg.id == 1100)
            led2 = !led2;
        if(msg.id == 1102)
            led3 = !led3;     
    }
}
 
int main() {
    can2.frequency(1000000);
    can2.reset();
    can2.attach(&messageReceivedISR, CAN::RxIrq);
    while(1) {
        if(can2.write(CANMessage(1130, &counter, 1))) {
            printf("loop send()\r\n");
            counter++;
            printf("Message sent: %d\r\n", counter);
            led1 = !led1;
        }
        // wait_ms(500);
    }
}