Dear PC Ed Sandberg supplied further info on their submission, as requested. Please see below. cheers Birg --- 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 2pm-5pm Fri 9am-5pm ________________________________ From: ed sandberg <ed.sandberg@galois.com> Sent: Wednesday, 21 June 2023 6:17 AM To: Birgit Brecknell <birgit.brecknell@unsw.edu.au> Subject: Re: seL4 summit 2023: seL4 and how to make working with hardware enjoyable [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