SeL4 20th Anniversary Retrospective Panel Session

1 comments

• Rochus 10 hours ago

  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