Hi,
For people not on the seL4 announce list: the 3rd annual seL4 Summit will be held online on November 15-18, 2020.
A call for presentations is out, and the deadline for submissions has been extended to September 15, 2020.
Please consider submitting something about seL4-based work that you are doing or other seL4/microkernel/trustworthy systems topics. Submission only requires a title and abstract, so it’s pretty low overhead.
Submit by email to Summit2020@sel4-us.org.
See more detail on the announce list[1].
Ihor.
[1] https://sel4.systems/pipermail/announce/2020/000036.html