News for hackers. Stuff that matters.
Re:List of Open Source Real-Time Operating Systems by monocasa on Saturday February 09, 2019 @11:24AM (#19123075)
What was the licence? Did you have to run it on TI parts or something?
Re:List of Open Source Real-Time Operating Systems by jhallenworld on Saturday February 09, 2019 @11:28AM (#19123103)
BSD license according to this: http://www.ti.com/tool/TI-RTOS-MCU#descriptionArea

It does compile with gcc, but I don't trust it with gcc. At least with TIVA TM4C processors, it would not boot. I suspect they don't test with gcc as well as with their own compiler.