Don’t forget to register to the seL4 summit! Only 3 weeks left to benefit from the early-bird fee: https://events.linuxfoundation.org/sel4-summit/register/#register-now
See you in Vancouver :) June _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
