2 ms·
>What's the FOSS alternative that is as good as QNX nowadays? FreeRTOS, NuttX, Zephyr etc are used for MCUs not general purpose computation AFAIK SeL4 with CAm
by snvzz 4y ago
>What's the FOSS alternative that is as good as QNX nowadays? FreeRTOS, NuttX, Zephyr etc are used for MCUs not general purpose computation AFAIK
SeL4 with CAmkES, or Genode.
- jonny_eh 4y agoHow about WindRiver Linux? https://www.windriver.com/products/linux https://www.windriver.com/products/linux
- snvzz 4y agoExcluded, because it's Linux, with all its issues. Huge TCB being the main one.
- andrekandre 4y agotcb... thread control block, aka task_struct?
- snvzz 4y agoTrusted Computing Base. i.e. The code that needs to be trusted. For Linux, it includes the whole kernel, and it is huge.
- andrekandre 4y agoi see, thanks for the clarification!