A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
Why do you think that https://github.com/tock/tock is a good alternative to hubris
A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
Why do you think that https://github.com/tock/tock is a good alternative to hubris