From acb578e2610d7566f39fd0e8419ff38e460798a2 Mon Sep 17 00:00:00 2001
From: Martino Facchin <m.facchin@arduino.cc>
Date: Mon, 9 Dec 2024 16:52:22 +0100
Subject: [PATCH] Provide FreeRTOS hook only for PortentaC33

---
 boards.txt             | 2 +-
 cores/arduino/main.cpp | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/boards.txt b/boards.txt
index d89c412a..b6815e8d 100644
--- a/boards.txt
+++ b/boards.txt
@@ -12,7 +12,7 @@ portenta_c33.build.fpu=-mfpu=fpv5-sp-d16
 portenta_c33.build.float-abi=-mfloat-abi=hard
 
 portenta_c33.build.board=PORTENTA_C33
-portenta_c33.build.defines=-DF_CPU=200000000
+portenta_c33.build.defines=-DF_CPU=200000000 -DPROVIDE_FREERTOS_HOOK
 portenta_c33.vid.0=0x2341
 portenta_c33.pid.0=0x0068
 portenta_c33.vid.1=0x2341
diff --git a/cores/arduino/main.cpp b/cores/arduino/main.cpp
index 1d8c1386..24dfa3ec 100644
--- a/cores/arduino/main.cpp
+++ b/cores/arduino/main.cpp
@@ -113,7 +113,9 @@ void arduino_main(void)
 #endif
    startAgt();
    setup();
+#ifdef PROVIDE_FREERTOS_HOOK
    start_freertos_on_header_inclusion();
+#endif
    while (1)
    {
       loop();