News for hackers. Stuff that matters.
Re:Intel Releases the Arduino 101 Source Code by snvzz on Thursday April 21, 2016 @08:14AM (#11541420)
I'd rather use eChronos or seL4. They're provable and free software.

Intel call their thing an RTOS; it's bullshit. They lack proof of hard realtime.

Re:Intel Releases the Arduino 101 Source Code by dekhn on Thursday April 21, 2016 @11:50AM (#11543043)
RTOS means a bunch of things; hard realtime is a very specific subset of that.