[clug] SEL4 acknowledged in ACM 2022 award

[Bob Edwards]

Greetings all,

The 2022 ACM Software System Award has been awarded to the creators of the sel4 microkernel,
"the first ever industrial-strength, general-purpose operating system with formally proved
implementation correctness." ( https://awards.acm.org/software-system )

The team lead (Prof. Gernot Heiser, a multiple LCA speaker) and many of the creators are from
Australian Universities, in particular, UNSW, Uni of Melbourne and ANU (Dr. Michael Norrish).

Congratulations folk!

Bob Edwards.