Compatibility with STM32duino_FreeRTOS

[Phonog]

Hi,
I am developing a project using an inkplate 6Motion display. My project uses STM32duino_FreeRTOS as the multitasking kernel. I am doing experiments with the example file Inkplate_6_Motion_Simple_BW.ino.
When I add the STM32duino_FreeRTOS library to the #include list, the example file crashes in the Setup() function,.
The first statements of Setup are the following:
`void setup(void)
{
int i ;

inkplate.begin(INKPLATE_BLACKWHITE); // Initialize Inkplate Motion library
inkplate.selectDisplayMode(INKPLATE_BLACKWHITE);
inkplate.cp437(true);
inkplate.setFullUpdateTreshold(FREQUENCE_RAFRAICHISSEMENT_TOTAL);
inkplate.peripheralState(INKPLATE_PERIPHERAL_WS_LED, true);
inkplate.led.begin();
inkplate.led.setBrightness(10);

CommandeLED ( LED_GREEN ) ;

inkplate.clearDisplay();
inkplate.display();
delay(100);
SetupAffichage () ; // Splash screen
delay(500);

inkplate.peripheralState(INKPLATE_PERIPHERAL_ROTARY_ENCODER, true);
inkplate.peripheralState(INKPLATE_PERIPHERAL_WIFI, true);
inkplate.setTextSize( 1 ) ;

inkplate.rotaryEncoder.begin() ;

CommandeLED ( LED_BLUE ) ;
WiFi.init();
WiFi.setMode(INKPLATE_WIFI_MODE_STA);
WiFi.begin(WIFI_SSID, WIFI_PASS);
etc.
`
SetupAffichage just prints the splash screen. At bootup, the LED lights green and never turns blue. From then on, the displays progressively fills with vertical black stripes of verious widths and lengths.
Could this come from the fact that FreeRTOS uses the systick interrupt, and InkplateMotion.h might also use it?
If compatibility with this kernal is impractical, can you suggest another kernel?
Regards.
Jean-Marc Delaplace