On 9 Jan 2021, at 08:02, Demi M. Obenour <[email protected] <mailto:[email protected]>> wrote: > > 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?
My present question was more about format than specific topics (that would come later) but the suggestion is a good one. In fact, we’re working on the design of such a system and it’s definitely something that should be ready to talk about by the time of the next Summit. Could end up a whole session with talks about various designs. > Also, a permanent and publicly accessible video archive would be awesome. Agreed. Gernot _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
