4 ms·

How about WindRiver Linux? https://www.windriver.com/products/linux https://www.windriver.com/products/linux

• snvzz 4y ago
  Excluded, because it's Linux, with all its issues. Huge TCB being the main one.
  • andrekandre 4y ago
    tcb... thread control block, aka task_struct?
    • snvzz 4y ago
      Trusted Computing Base. i.e. The code that needs to be trusted. For Linux, it includes the whole kernel, and it is huge.
      • andrekandre 4y ago
        i see, thanks for the clarification!