Dual Core Blink not working -

I just received the Portenta H7 and started running through the tutorials. The very first example one would try by running through the published examples is not working for me, which is very frustrating.

I was able to get two LEDS to blink with two different sketches uploaded to the two cores.
(Steps 1-6 here)

When I upload the following sketch to both the M7 and the M4 sketch, only the M7 one runs.
I've tried different cables, different flash splits.

I have not found anyone else post about similar issues. COuld someone help me get on the right track?


void setup() {

  randomSeed(analogRead(0));
   
  #ifdef CORE_CM7  
    bootM4();  
    myLED = LEDB; // built-in blue LED
  #endif

  #ifdef CORE_CM4  
  myLED = LEDG; // built-in greeen LED
#endif

pinMode(myLED, OUTPUT);
}

void loop() {
   digitalWrite(myLED, LOW); // turn the LED on 
   delay(200); 
   digitalWrite(myLED, HIGH); // turn the LED off 
   delay(rand() % 2000 + 1000); // wait for a random amount of time between 1 and 3 seconds.
}

Hello,

Our team is working on this point. To get the code working, please downgrade the version of the Arduino Mbed OS Portenta Boards to version 4.0.8. To do this, please go to the Boards Manager in Arduino IDE, type Portenta, then select version 4.0.8 and click Install.

Thank you for your understanding.

Best,

Update:
The issue is fixed in version 4.1.3: Release Release 4.1.3 · arduino/ArduinoCore-mbed · GitHub.