[Flounder] Flounder Oct Hack day - SEL4

[DL Neil]

On 20/10/2023 17.31, Russell Coker via Flounder wrote:
> 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.

Sorry, it's a long weekend over here (Labor Day).

-- 
Regards =dn