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/