Discussion session on a standardised VMM and how to get there, led by Everton de Mantos from ⁦Technology Innovation Institute⁩ and Jason Sebranek from ⁦Cog⁩ at #seL4 #Summit

Multicore verification BoF at the #seL4 #Summit

Improving embedded #DevOps with seL4 VMM by Robbie VanVossen from ⁦DornerWorks⁩ at #seL4 #Summit

Sebastian Eckl discusses teaching seL4 at ⁦TU München⁩ #seL4 #Summit

Usability is for user mode

Day 4 of the #seL4 #Summit is the Boot camp: learning to build and use CAmkES, TRENTOS, seL4 Core Platform

The #seL4 #Summit is over. It was an awesome event. And it was fantastic to once again work closely with the incredible June Andronick, like in the old days. Thanks all who participated! seL4

Great and welcome contribution to the #seL4 ecosystem Google!

Great to see - when is Antmicro going to join the seL4?

It's sort of hilarious (while depressing) watching AU gov't biosecurity warning to incoming passengers: protecting "AU's unique wild live" with pix of koalas, which we're about to eradicate by habitat destruction – no bio hazards needed

The #TrustworthySystems booth at the ⁦UNSW Computing⁩ Research Expo

Whoa! It really does happen! "Bank error in your favour – collect $450k." Someone must be sweating now...

My latest blog: ML accelerates the cyber arms race — we need real security more than ever microkerneldude.org/2022/11/08/ml-…

The possibly nicest time of the year in Sydney: Jacaranda season. Although I missed peak jackaranda (before there's any green) due to travel...

A great turnout at our Computing Research Expo recently, bringing together bright minds seeking to broaden research impact, and learn more about UNSW CSE's research capabilities across 6 research themes and 17 research groups More photos can be found here bit.ly/3sAz8uc

For the case that Twitter actually collapses or I find it is becoming incompatible with my values (both seem a real possibility), I've set up a (presently dormant) Mastodon account: fosstodon.org/@gernot

Until further notice I'm suspending my activities on Twitter. The account will remain alive but dormant until I decide whether a full #TwitterExit is warranted. Meanwhile I'll be tooting as discuss.systems/@gernot

We are suspending our use of Twitter until further notice. We will instead provide updates on Mastodon: fosstodon.org/@sel4