3 ms·
> 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?" htt
by rodgerd 7y ago
> 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 https://www.youtube.com/watch?v=lRndE7rSXiI&t=22m
The whole talk is well worth a watch.
- mmrezaie 7y agoI forgot to mention that I had seen these, but I thought after so many years from L4's release something like isolating firmwares from the OS in our smartphones would have been done. I am not aware of any other capability based and verified micro kernel in level of [se]L4.