Thanks John for the suggestion.

@all: please contribute to the discussion. Please give your feedback where your input (**starred**) is needed, ie ideas of topics and feedback on list on non-regular talks suggestions. The more we can start discussing before the meeting (in less than 2 days), the better.

Thanks!
June

> On 10 Mar 2022, at 5:19 am, John Launchbury <john@galois.com> wrote:
>
> Hi June et al,
>
> I would be very interested in seeing something (talk, papers, discussion) on seL4 in embedded processors on FPGAs etc. Lots of accelerator work is done in hardware, often coordinated by onboard processors, and lots of it needs to take place with rapid switching between multiple tasks. Having mathematically assured separation has the potential to be a big deal.
>
> John
>
>> On Mar 8, 2022, at 8:47 PM, June Andronick (seL4 Foundation) <june@sel4.systems> wrote:
>>
>> Dear PC of the seL4 summit 2022,
>>
>> Here's your first task: help finalise a call for presentation by suggesting
>> themes/topics and/or commenting on the ones suggested by others (by reply-all to
>> this email). Please do so between now and the meeting scheduled for next
>> week. Namely you will see a few places where input is needed below, **starred** for
>> your convenience.
>>
>> Remember: we aim to maximise the take away value. So you should think of it as:
>> what would an ideal seL4 summit look like for you? What is the cool seL4 work
>> that you heard about and would love to hear more about? The Call For
>> Presentation is lightweight and informal. The aim is to attract the work we want
>> to hear about or want the community to hear about.
>>
>> The CFP could have a list of topics, which may or may not be grouped into 3-4
>> themes. Just to get started, here are ideas of topic/themes:
>> - seL4's future: research and early work
>> - seL4 development efforts
>> - seL4 in the field / adoption
>> - student projects on seL4; education
>>
>> **Please send your own suggested topics/themes and/or comments on the ones above and the ones that will be sent my other PC members.**
>>
>> In addition to the regular presentations in the areas above, we envision
>> some/all of the following and we seek your feedback:
>>
>> - Keynotes: to be discussed in May.
>>
>> - "Ask Me Anything" (AMA) sessions (eg to all of the TSC, to people who's
>> applied seL4 in the field/gov/etc...): to be discussed with Keynotes in May.
>>
>> - Demo/Advertising: small (5min) videos from members (eg about product, tool,
>> application...). We can have a separate call to members for these, with maybe
>> a very quick review/discussion at the PC level.
>>
>> - Birds of a feather / informal discussions on specific topics and then report
>> back: **if some of you have experience with that and interest in discussing
>> having one at the summit, please let me know and we could start a separate
>> discussion**.
>>
>> - Mentorship session (between people with seL4 experience and students/newcomers
>> to the seL4 community): **if some of you like the idea and have interest in
>> discussing this for the summit, please let me know and we could start a
>> separate discussion.**
>>
>> - Bootcamp/Training/Tutorial: the seL4 Foundation will be aiming at providing
>> and delivering an seL4 training, with the help of the ecosystem. **If some of
>> you have interest in providing feedback and/or help with this, let me
>> know**. **Please also let me know if you believe we should have a call for
>> other training/tutorials.**
>>
>>
>> **Any further comments/thoughts on the list above, or any new ideas is welcome.**
>>
>> Let the discussion begin, which we'll finalise at the meeting next week.
>>
>> Thanks all!
>>
>> June
>> _______________________________________________
>> Summit-pc mailing list -- summit-pc@sel4.systems
>> To unsubscribe send an email to summit-pc-leave@sel4.systems
>

_______________________________________________
Summit-pc mailing list -- summit-pc@sel4.systems
To unsubscribe send an email to summit-pc-leave@sel4.systems