|
|
|
|
|
|
by TickleSteve
3147 days ago
|
|
|
I've always had good experiences with FreeRTOS (and friends).
It works well, is well supported, works on a wide variety of platforms. The real security in Tock comes from the use of the MPU which can also be done in FreeRTOS.
The use of Rust is nice for application-robustness, but does not enhance security over the equivalent in C. |
|
|
C-with-MMU doesn't help you avoid overrunning buffers, leaking memory, using memory after freeing it, returning pointers to stack objects, getting reference counts wrong, or many other issues. And C doesn't provide nearly as many facilities for abstraction without overhead.