[seL4] Re: [FOSDEM'23] Submit talk for the "Microkernel and Component-based OS" devroom

Hi. We've updated the submission deadline for the FOSDEM 2023 "Microkernel and Component-based OS" devroom for Wednesday, December 7, 2022. I talked to Gernot about a possible online talk. I'll get back with a reply if that is possible. You can submit a talk via the Pentabarf interface: https://penta.fosdem.org/submission/FOSDEM23 Răzvan On Fri, 2 Dec 2022 at 10:55, Razvan Deaconescu wrote:

Hi.

I am Razvan Deaconescu, I'm from University POLITEHNICA of Bucharest (working on Unikraft unikernel) and I'm managing the "Microkernel and Component-based OS" devroom[2] at FOSDEM'2023[1].

The devroom will take place in person, at FOSDEM'23, in Brussels, on Sunday, February 5, 2023.

If you have an interesting topic to talk about it would be great if you made a submission. This is something easy to do, takes about 15-20 minutes on Pentabarf[3].

The deadline for submission is today, Friday, December 2, 2022.

[1] https://fosdem.org/2023/ [2] https://fosdem.org/2023/schedule/track/microkernel_and_component_based_os/ [3] https://penta.fosdem.org/submission/

Razvan