The core components of the L4Re operating system.
Why do you think that https://github.com/seL4/seL4 is a good alternative to l4re-core
The core components of the L4Re operating system.
Why do you think that https://github.com/seL4/seL4 is a good alternative to l4re-core