The seL4 summit 2023 will start in 2 weeks in Minneapolis! There is still time to register if you haven’t done it yet.
Summit: https://sel4.systems/Foundation/Summit/2023/ Register: https://events.linuxfoundation.org/sel4-summit/register/ Program: https://sel4summit2023.sched.com/ See you there! _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
