freertos-teensy porting for Teensyduino

[gpb01]

Hi Timo,

following my issue on Phillip library, I move here to ask you if you think to make a version of your library that can be used in the Teensyduino environment. :-)

Thanks a lot in advance,

Guglielmo

[tsandmann]

Hi Guglielmo,

yes, I will have a look at it.

Regards,
Timo

[tsandmann]

There is a first test version available which can be used with Teensyduino. If you want to try it out:

1. Download the library here as a zip archive.
2. In Teensyduino select "Sketch -> Include Library -> Add .ZIP Library" and specify the downloaded zip archive.
3. #include "arduino_freertos.h" in your sketch.

However, there are currently the following limitations:

• No support for C++'s std::thread (the compiler provided by Teensyduino is too old for this).
• If the sketch (or any included library) uses the EventResponder class, the EventResponder::attachInterrupt() variant must not be used, otherwise FreeRTOS will stop working. An update of the Teenys cores library is required to make this work.
• configUSE_MALLOC_FAILED_HOOK has no effect, vApplicationMallocFailedHook() will not be executed if malloc() fails.

I haven't done much testing so far as I don't use Teensyduino for my projects.

[gpb01]

Hi Timo,
THANKS A LOT !!! For sure i will do some tests and inform you of any problem. :-)

[gpb01]

Hi Timo,
I tried you new release 10.4.1-6 in Teensyduino but, but, with this release, with the same program, I get some errors related to '__isb', '__dmb' and '__dsb' (e.g. : error: '__isb' was not declared in this scope __isb();).

∙ freertos-teensy-10.4.1-6/src/portable/teensy_4.cpp:143:11: error: '__isb' was not declared in this scope
∙ freertos-teensy-10.4.1-6/src/portable/teensy_common.cpp:146:11: error: '__isb' was not declared in this scope
∙ freertos-teensy-10.4.1-6/src/portable/teensy_4.cpp:173:11: error: '__dmb' was not declared in this scope
∙ freertos-teensy-10.4.1-6/src/portable/teensy_4.cpp:380:11: error: '__dsb' was not declared in this scope
∙ freertos-teensy-10.4.1-6/src/portable/teensy_4.cpp:381:11: error: '__isb' was not declared in this scope
∙ freertos-teensy-10.4.1-6/src/portable/teensy_common.cpp:215:11: error: '__isb' was not declared in this scope

Is it anything related to the compiler version present in IDE 1.8.13? is it possible to find a detour?

TIA

Guglielmo

[gpb01]

... so, I have included these #define in portable/teensy.h:

#define __isb() __asm volatile("isb" ::: "memory")
#define __dmb() __asm volatile("dmb" ::: "memory")
#define __dsb() __asm volatile("dsb" ::: "memory")

and there are no more errors. Is this a correct "detour" or can it cause problems?

TIA,

Guglielmo

[tsandmann]

You're right, that's a bug with Teensyduino.
The suggested #defines should fix this, yes.

[gpb01]

Hi Timo,
THANKS !!!

[fralbo]

No support for C++'s std::thread (the compiler provided by Teensyduino is too old for this).

Does it explain the problem I encounter in this issue ?

[tsandmann]

With the latest version available (v10.5.1_v5), there is now basic support for Teensyduino 1.58.

Please note, until this Pull request is merged, the EventResponder::attachInterrupt() variant must not be used, otherwise FreeRTOS will stop working.
See Readme for details of the limitations with Teensyduino.

[Stevenlawrencehoriba]

On Platform IO how do I add TeensyDuino to the freeRTOS build, so i can get libraries for Ethernet and SD card libraries

[tsandmann]

You can add FreeRTOS as a library to TeensyDuino (see README.md) if you want to use it with TeensyDuino.
Or you can add Platform IO libraries as usual when using a Platform IO project.
But you can't use TeensyDuino together with Platform IO.