Flounder Oct Hack day - SEL4

Russell Coker via linux-aus <[email protected]> Fri, 20 Oct 2023 15:31:11 +1100

Newsgroups	gmane.linux.australia
Message-ID	<3248069.oiGErgHkdL@cupcakke>

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/



_______________________________________________
linux-aus mailing list
[email protected]
http://lists.linux.org.au/mailman/listinfo/linux-aus

To unsubscribe from this list, send a blank email to
[email protected]