#_LOCATIONMAP
Date/Time
Date(s) - October 12, 2024
1:00 pm - 2:30 pm
Categories
First October event, a short intro to seL4 as a hypervisor and a bit more on microkit.
https://trustworthy.systems/projects/microkit/
Meeting will be at http://b.coker.com.au. No need to register just click on the link on the day.
Meeting officially opens at 1PM Melbourne time (02:00UTC), 12th of October.