Hey Stewart, sure, everybody is welcome!
Cheers, Gerwin > On 22 Mar 2022, at 4:16 pm, [email protected] 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 -- [email protected] > To unsubscribe send an email to [email protected] _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
