[You don't often get email from ed.sandberg@galois.com. Learn why this is important at https://aka.ms/LearnAboutSenderIdentification ]

Hello Birgit,

Sorry for the late reply. Responses inline.

On 6/8/23 17:36, Birgit Brecknell wrote:
> Dear Ed
>
> We are pleased to notify you that your submission *seL4 and how to make
> working with hardware enjoyable *has been accepted for the seL4 Summit 2023.
>
> The PC thought that your submission will be best as a short talk (15
> mins, including question time). (The exact timing might change slightly
> when we finalise the program.)
>
> *Action item:* The PC is interested in seeing this published as a cook
> book/recipe. Please provide more details in the abstract.

The work is ongoing but we will have more concrete results in time for
the summit. When ready I would be happy to provide a Makefile for you to
publish so anyone can re-create my experiments.

>
> *Action item:* Please send your finalised title and name of presenter
> asap (by 15 Jun 22), so that we can advertise the program. If you are
> not sure about the presenter yet, it is ok to have a list of presenters
> for now.

Title: seL4 and how to make working with hardware enjoyable
Presenter: [Ed Sandberg, Michal Podhradsky, Tiago Ferreira, Ben Hamlin,
Mike Dodds]

>
> *Action item:* You will receive further practical information soon, e.g.
> regarding the talk schedule, uploading abstracts, etc. Please look out
> for an email from the Linux Foundation with this information.
>
> The seL4 summit 2023 will be an in-person event, so speakers are
> expected to present in person (unless there are last minute unforeseen
> circumstances). If you are unable to attend in-person, please let us
> know as soon as possible and please try to find someone who could
> present in person on your behalf.
>
> Thanks for your submission and we look forward to a successful summit!
>
> Kind regards
> Birg, on behalf of the PC Chairs Ihor and Darren, and the whole PC committee
>
> ---
>
> *Dr. Birgit Brecknell*
>
> Project Officer
>
> Trustworthy Systems, UNSW, birgit.brecknell@unsw.edu.au
> <mailto:birgit.brecknell@unsw.edu.au>
>
> seL4 Foundation, birgit@sel4.systems <mailto:birgit@sel4.systems>
>
> 0433 880 571
>
> *Mon *9am-5pm
>
> *Wed*9am-12pm
>
> *Fri *9am-5pm
>
>

--
Edward Sandberg
Galois, Inc