[Flounder] Flounder Oct Hack day - SEL4

Russell Coker russell at coker.com.au
Fri Oct 20 15:31:11 AEDT 2023


https://flounder.linux.org.au/events/oct-2023-sel4/

October event, SE L4 Hack day.

SE L4 is the most highly assured OS kernel. So let’s try getting it running. 
No lecture, just playing with it and seeing what we can do.

Meeting will be at http://b.coker.com.au. No need to register just click on 
the link on the day.  Meeting is at midday Melbourne time on the 21st of Oct.  
That's 01:00UTC.

Sorry for the short notice.

-- 
My Main Blog         http://etbe.coker.com.au/
My Documents Blog    http://doc.coker.com.au/





More information about the Flounder mailing list