In STM32 MC SDK Workbench, is it necessary for me to tick the choice "Enable MC IRQ to use FreeRTOS Functions" when I enable FreeRTOS? In what circumstances should I tick this option? What happens when I don't enable this functionality? Anybody else ...