flipperzero-firmware/target_f2/Middlewares/Third_Party/FreeRTOS
..
Source