[Flounder] Flounder meeting: 12th of Oct, intro to seL4 and seL4 as hypervisor.

[yifei at zhan.science]

First October Flounder meeting this Saturday!
Time: 12th of October, 1PM Melbourne time (02:00AM UTC)


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.