3 ms·
SeL4 20th Anniversary Retrospective Panel Session
- Rochus 2y agoThey 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 https://www.youtube.com/watch?v=W8Ka_8kHTj4 and https://www.youtube.com/watch?v=loPlocTZEp0 https://www.youtube.com/watch?v=loPlocTZEp0