The choice to utilize FreeRTOS has two negative consequences – key documents are available only by purchase, and the kernel requires dynamic memory allocation which is not desirable in memory constrained situations. In contrast, the Chibios kernel is statically allocated and all documents are freely available.