>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 pi

>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/ https://microkerneldude.org/