Proud as a peacock watching TSer Ivan delivering his #LionsOS talk at the #seL4Summit from an Arm board running LionsOS

In the first of our #EverythingOpen schedule highlights, we're delighted to present #UNSW Scientia Professor @gernot who will present on efforts to take #sel4 from a #MicroKernel to fully-fledged #OS
with #LionsOS, named for open source luminary, John Lions.

Schedule will be posted soon, we promise!

Heavily discounted #EarlyBird #EB tickets still available, for a short time only:
https://2024.everythingopen.au/news/registrations-open/