SeL4 20th Anniversary Retrospective Panel Session

They presented a working version of the new Lions OS, for embedded and IoT systems, based on sel4. See

https://www.youtube.com/watch?v=W8Ka_8kHTj4

and

https://www.youtube.com/watch?v=loPlocTZEp0