News for hackers. Stuff that matters.

A comment on Tock Embedded Operating System. Parent comment

Re:Tock Embedded Operating System by TickleSteve on Wednesday November 08, 2017 @07:17AM (#15651656)
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.

[ Parent | on HN ]
Re:Tock Embedded Operating System by JoshTriplett on Wednesday November 08, 2017 @02:25PM (#15656005)
> 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.

[ Parent | on HN ]