> This is a great view on history of seL4. Is there a list of use cases where seL4 is being used outside academia?
"Can you build actual systems with it?" https://www.youtube.com/watch?v=lRndE7rSXiI&t=22m
The whole talk is well worth a watch.
"Can you build actual systems with it?" https://www.youtube.com/watch?v=lRndE7rSXiI&t=22m
The whole talk is well worth a watch.
I am not aware of any other capability based and verified micro kernel in level of [se]L4.