3 ms·FreeRTOS on the other hand is just two C files. And a proper secure microkernel much less.by rurban 3y agoFreeRTOS on the other hand is just two C files. And a proper secure microkernel much less.