Two things to announce for seL4:
They’ve released a roadmap for development and verification.
And they’ve a Developer Day event happening next month. I missed the information about their first Developer Day last month. They’ve just announced a second Developer day, October 8-9, organized in conjunction with DARPA, hosted at HRL Labs, in Malibu, California.
https://sel4.systems/Info/Roadmap/
https://sel4.systems/Community/Devdays/
https://sel4.systems/lists/listinfo/announce
