22 Mar
2022
22 Mar
'22
5:21 p.m.
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