[Flounder] Flounder Oct Hack day - SEL4

[Russell Coker]

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/