>and was sorely disappointed to see Australia cut their funding.

An horrible story, covered in detail in Gernot's blog[0].

Fortunately, seL4 foundation has picked up steam, and is no longer dependent in any way on the leeches that almost killed it.

[0]. https://microkerneldude.org/