It is good that seL4 is now its own organization, fully independent. A tragedy that it was hampered by CSIRO for so many years.
0. https://microkerneldude.org/2022/02/17/a-story-of-betrayal-c...