News for hackers. Stuff that matters.

A comment on Amazon FreeRTOS – IoT operating system for microcontrollers. Parent comment

Re:Amazon FreeRTOS – IoT operating system for microcontrollers by amelius on Thursday November 30, 2017 @04:34AM (#15814523)
Does an RTOS have a built-in theorem prover to accomplish that?
[ Parent | on HN ]

There are no comments on this comment yet.