On 1/7/21 5:59 PM, Gernot Heiser wrote: > Dear seL4 community, > > A couple months ago we had a successful 3rd seL4 Summit. Despite having to > revert to virtual format, it was a very good event, and I’m sure I’m not the > only one who enjoyed it. Thanks for the great work to our friends at IAI, > Siege Technologies and the Griffiss Institute for the organisation, and DARPA > and AFRL for funding the Summit in particular, and seL4 in general for many > years. > > DARPA funding for the seL4 Summits is coming to an end, and, as you know, the > seL4 Foundation has been created as the community-driven guardians of seL4. > Among others, this means it is time to think about how future summits will > look like. For example, much of the funding for seL4 has come from defence > budgets, but the technology is equally important for critical civilian > systems, and the Summit should reflect this. We would also like to see > broadened community participation, maybe a flavour of FODSEM or LCA, while > continuing to involve our corporate partners, who are key to financial > support and widespread deployment. > > So we are asking you, the seL4 developer community, what you would like to > see at the next summit, in content and format. After this informal community > consultation we expect to issue an EOI for organising the next Summit, > anticipated timeframe is similar as in the past, Sep–Nov. > > Please make/discuss suggestions via reply email within a month (and note that > I’ll be off-lline for a fair chunk of this). > > Gernot > > PS: For those who have missed it, the Summit presentations are still > available for about another month to those registered, see > https://www.sel4-us.org/summit2020/
I would like to see the use of seL4 in highly dynamic, non-embedded, security critical systems discussed. Would the Robigalia and/or UX/RT developers be interested? Also, a permanent and publicly accessible video archive would be awesome. Sincerely, Demi
OpenPGP_0xB288B55FFF9C22C1.asc
Description: application/pgp-keys
OpenPGP_signature
Description: OpenPGP digital signature
_______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
