From russell at coker.com.au  Fri Oct 20 15:31:11 2023
From: russell at coker.com.au (Russell Coker)
Date: Fri, 20 Oct 2023 15:31:11 +1100
Subject: [Flounder] Flounder Oct Hack day - SEL4
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/




From NZLUG at etelligence.info  Fri Oct 20 15:49:46 2023
From: NZLUG at etelligence.info (DL Neil)
Date: Fri, 20 Oct 2023 17:49:46 +1300
Subject: [Flounder] Flounder Oct Hack day - SEL4
In-Reply-To: <3248069.oiGErgHkdL@cupcakke>
References: <3248069.oiGErgHkdL@cupcakke>
Message-ID: <0f8337b6-ba88-46b1-a1b8-fce3ad64c0e5@etelligence.info>

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


From russell at coker.com.au  Mon Oct 23 21:43:49 2023
From: russell at coker.com.au (Russell Coker)
Date: Mon, 23 Oct 2023 21:43:49 +1100
Subject: [Flounder] Flounder Oct Hack day - SEL4
In-Reply-To: <0f8337b6-ba88-46b1-a1b8-fce3ad64c0e5@etelligence.info>
References: <3248069.oiGErgHkdL@cupcakke>
 <0f8337b6-ba88-46b1-a1b8-fce3ad64c0e5@etelligence.info>
Message-ID: <9236281.rMLUfLXkoz@xev>

On Friday, 20 October 2023 15:49:46 AEDT DL Neil via Flounder wrote:
> Sorry, it's a long weekend over here (Labor Day).

No probs.

The session went well and seL4 has some promising features so we will probably 
do more with it, both in Flounder meetings and otherwise.

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