For building the FreeRTOS, a proper toolchain has to be used, for example the offical arm linux toolchain [https://developer.arm.com/open-source/gnu-toolchain/gnu-rm/downloadsref], then enter the following commands: