Would you like to work on seL4 inside the TS team? Here’s your chance: https://jobs.csiro.au/job/Sydney%2C-NSW-Operating-System-Engineer/488529400/ https://jobs.csiro.au/job/Sydney%2C-NSW-Operating-Systems-Senior-Engineer/488529700/
Gernot _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
