10 Years SeL4: Still the Best, Still Getting Better

Re:10 Years SeL4: Still the Best, Still Getting Better by rodgerd on Tuesday August 06, 2019 @04:05PM (#20628975)

> 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.

[ Parent | on HN ]

Re:10 Years SeL4: Still the Best, Still Getting Better by mmrezaie on Tuesday August 06, 2019 @04:13PM (#20629052)

I 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.

[ Parent | on HN ]