Hi all
A friendly reminder that the seL4 developer hangout is on this week:
Tue, Mar 22, 9pm (UTC), Topics: (open)
* Sydney: Wed, Mar 23, 8am * Central Europe: Tue, Mar 22, 10pm * US Pacific Time: Tue, Mar 22, 2pm
(There are too many time zones in the world to cite them all :-))
Zoom link: https://unsw.zoom.us/j/82640784431
Cheers, Birg
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell@unsw.edu.aumailto:birgit.brecknell@unsw.edu.au
seL4 Foundation, birgit@sel4.systemsmailto:birgit@sel4.systems
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm
Hi Birgit,
I am a University of Melbourne student working on an seL4 project for my Computer Science Masters under Toby Murray.
Mind if I join the hangout? It would perhaps help a lot for me to speak to some other people who have worked with seL4.
My masters research project is one nicked from Gernot a few years back, looking into mapping an object-capability programming language onto seL4's capability system.
Cheers, Stewart
Hey Stewart,
sure, everybody is welcome!
Cheers, Gerwin
On 22 Mar 2022, at 4:16 pm, sjwebb@student.unimelb.edu.au wrote:
Hi Birgit,
I am a University of Melbourne student working on an seL4 project for my Computer Science Masters under Toby Murray.
Mind if I join the hangout? It would perhaps help a lot for me to speak to some other people who have worked with seL4.
My masters research project is one nicked from Gernot a few years back, looking into mapping an object-capability programming language onto seL4's capability system.
Cheers, Stewart _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
-
Birgit Brecknell -
Gerwin Klein -
sjwebb＠student.unimelb.edu.au