[Linux-aus] Flounder Oct Hack day - SEL4

[Russell Coker]

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/